All Stories

  1. Preface to the special issue on quantitative information flow

    Article • Mathematical Structures in Computer Science, November 2014, Cambridge University Press

    Dr Geoffrey S Smith

  2. Additive and Multiplicative Notions of Leakage, and Their Capacities

    Article • July 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Geoffrey S Smith

  3. Abstract Channels and Their Robust Information-Leakage Ordering

    Article • January 2014, Springer Science + Business Media

    Dr Geoffrey S Smith

  4. Measuring Information Leakage Using Generalized Gain Functions

    Article • June 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Geoffrey S Smith

  5. Min-Entropy Leakage of Channels in Cascade

    Article • January 2012, Springer Science + Business Media

    Dr Geoffrey S Smith

  6. Non-termination and secure information flow

    Article • Mathematical Structures in Computer Science, October 2011, Cambridge University Press

    Dr Geoffrey S Smith

  7. Quantifying Information Flow Using Min-Entropy

    Article • September 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Geoffrey S Smith

  8. Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Geoffrey S Smith

  9. Secure Information Flow for Distributed Systems

    Article • January 2010, Springer Science + Business Media

    Dr Geoffrey S Smith

  10. On the Foundations of Quantitative Information Flow

    Article • January 2009, Springer Science + Business Media

    Dr Geoffrey S Smith

  11. Fast probabilistic simulation, nontermination, and secure information flow

    Article • January 2007, ACM (Association for Computing Machinery)

    Dr Geoffrey S Smith

  12. Type inference and informative error reporting for secure information flow

    Article • January 2006, ACM (Association for Computing Machinery)

    Dr Geoffrey S Smith

  13. Secure information flow with random assignment and encryption

    Article • January 2006, ACM (Association for Computing Machinery)

    Dr Geoffrey S Smith

  14. Verifying secrets and relative secrecy

    Article • January 2000, ACM (Association for Computing Machinery)

    Dr Geoffrey S Smith

  15. A sound polymorphic type system for a dialect of C

    Article • Science of Computer Programming, September 1998, Elsevier

    Dr Geoffrey S Smith

  16. Secure information flow in a multi-threaded imperative language

    Article • January 1998, ACM (Association for Computing Machinery)

    Dr Geoffrey S Smith

  17. Polymorphic typing of variables and references

    Article • ACM Transactions on Programming Languages and Systems, May 1996, ACM (Association for Computing Machinery)

    Dr Geoffrey S Smith

  18. A sound type system for secure flow analysis

    Article • Journal of Computer Security, April 1996, IOS Press

    Dr Geoffrey S Smith

  19. Towards an ML-style polymorphic type system for C

    Article • January 1996, Springer Science + Business Media

    Dr Geoffrey S Smith

  20. Polymorphic type inference with overloading and subtyping

    Article • January 1993, Springer Science + Business Media

    Dr Geoffrey S Smith

  21. A new type system for secure information flow

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Geoffrey S Smith

  22. Principles of Secure Information Flow Analysis

    Article • Springer Science + Business Media

    Dr Geoffrey S Smith