Geoffrey Smith

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 7

Top Topics

Recent Developments

Information Flow

Top Venues

Math. Struct. Comput. Sci.

Publications

Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith
A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption. CSF (2021)
Mireya Jurado, Geoffrey Smith
Quantifying Information Leakage of Deterministic Encryption. CCSW@CCS (2019)
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
An axiomatization of information flow measures. Theor. Comput. Sci. 777 (2019)
Konstantinos Chatzikokolakis, Geoffrey Smith
Refinement Metrics for Quantitative Information Flow. The Art of Modelling Computational Systems (2019)
David M. Smith, Geoffrey Smith
Tight Bounds on Information Leakage from Repeated Independent Runs. CSF (2017)
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Axioms for Information Leakage. CSF (2016)
Nicolás E. Bordenabe, Geoffrey Smith
Correlated Secrets in Quantitative Information Flow. CSF (2016)
Geoffrey Smith
Recent Developments in Quantitative Information Flow (Invited Tutorial). LICS (2015)
Miguel E. Andrés, Catuscia Palamidessi, Geoffrey Smith
Preface to the special issue on quantitative information flow. Math. Struct. Comput. Sci. 25 (2) (2015)
Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke
Abstract Channels and Their Robust Information-Leakage Ordering. POST (2014)
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Additive and Multiplicative Notions of Leakage, and Their Capacities. CSF (2014)
Barbara Espinoza, Geoffrey Smith
Min-entropy as a resource. Inf. Comput. 226 (2013)
Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith
Measuring Information Leakage Using Generalized Gain Functions. CSF (2012)
Barbara Espinoza, Geoffrey Smith
Min-Entropy Leakage of Channels in Cascade. Formal Aspects in Security and Trust (2011)
Ziyuan Meng, Geoffrey Smith
Calculating bounds on information leakage using two-bit patterns. PLAS (2011)
Geoffrey Smith
Quantifying Information Flow Using Min-Entropy. QEST (2011)
Geoffrey Smith, Rafael Alpízar
Non-termination and secure information flow. Math. Struct. Comput. Sci. 21 (6) (2011)
Boris Köpf, Geoffrey Smith
Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks. CSF (2010)
Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
Computing the Leakage of Information-Hiding Systems. TACAS (2010)
Geoffrey Smith
On the Foundations of Quantitative Information Flow. FoSSaCS (2009)
Rafael Alpízar, Geoffrey Smith
Secure Information Flow for Distributed Systems. Formal Aspects in Security and Trust (2009)
Ricardo Koller, Raju Rangaswami, Joseph Marrero, Igor Hernandez, Geoffrey Smith, Mandy Barsilai, Silviu Necula, Seyed Masoud Sadjadi, Tao Li, Krista Merrill
Anatomy of a Real-Time Intrusion Prevention System. ICAC (2008)
Geoffrey Smith
Adversaries and Information Leaks (Tutorial). TGC (2007)
Geoffrey Smith, Rafael Alpízar
Fast probabilistic simulation, nontermination, and secure information flow. PLAS (2007)
Zhenyue Deng, Geoffrey Smith
Type inference and informative error reporting for secure information flow. ACM Southeast Regional Conference (2006)
Geoffrey Smith
Inductive bases and their application to searches for minimal unary NFAs. ACM Southeast Regional Conference (2006)
Geoffrey Smith, Rafael Alpízar
Secure information flow with random assignment and encryption. FMSE (2006)
Geoffrey Smith
Improved typings for probabilistic noninterference in a multi-threaded language. J. Comput. Secur. 14 (6) (2006)
Zhenyue Deng, Geoffrey Smith
Lenient Array Operations for Practical Secure Information Flow. CSFW (2004)
Geoffrey Smith
Probabilistic Noninterference through Weak Probabilistic Bisimulation. CSFW (2003)
Geoffrey Smith
A New Type System for Secure Information Flow. CSFW (2001)
Dennis M. Volpano, Geoffrey Smith
Verifying Secrets and Relative Secrecy. POPL (2000)
Geoffrey Smith, Dennis M. Volpano
Basic research in information privacy. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Dennis M. Volpano, Geoffrey Smith
Probabilistic Noninterference in a Concurrent Language. J. Comput. Secur. 7 (1) (1999)
Geoffrey Smith, Dennis M. Volpano
Confinement Properties for Multi-Threaded Programs. MFPS (1999)
Geoffrey Smith, Dennis M. Volpano
Secure Information Flow in a Multi-Threaded Imperative Language. POPL (1998)
Dennis M. Volpano, Geoffrey Smith
Confinement properties for programming languages. SIGACT News 29 (3) (1998)
Dennis M. Volpano, Geoffrey Smith
Probabilistic Noninterference in a Concurrent Language. CSFW (1998)
Dennis M. Volpano, Geoffrey Smith
Language Issues in Mobile Program Security. Mobile Agents and Security (1998)
Geoffrey Smith, Dennis M. Volpano
A Sound Polymorphic Type System for a Dialect of C. Sci. Comput. Program. 32 (1-3) (1998)
Dennis M. Volpano, Geoffrey Smith
A Type-Based Approach to Program Security. TAPSOFT (1997)
Dennis M. Volpano, Geoffrey Smith
Eliminating Covert Flows with Minimum Typings. CSFW (1997)
Geoffrey Smith, Dennis M. Volpano
Towards an ML-Style Polymorphic Type System for C. ESOP (1996)
Dennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith
A Sound Type System for Secure Flow Analysis. J. Comput. Secur. 4 (2/3) (1996)
Geoffrey Smith, Dennis M. Volpano
Polymorphic typing of Variables and References. ACM Trans. Program. Lang. Syst. 18 (3) (1996)
Dennis M. Volpano, Geoffrey Smith
On the Systematic Design of Web Languages. ACM Comput. Surv. 28 (2) (1996)
Dennis M. Volpano, Geoffrey Smith
A Type Soundness Proof for Variables in LCF ML. Inf. Process. Lett. 56 (3) (1995)
Geoffrey Smith
Principal Type Schemes for Functional Programs with Overloading and Subtyping. Sci. Comput. Program. 23 (2-3) (1994)
Geoffrey Smith
Polymorphic Type Inference with Overloading and Subtyping. TAPSOFT (1993)