On the Complexity of ML Typability with Overloading. - Dennis M. Volpano; Geoffrey S. Smith (FPCA, 1991)

Polymorphic Type Inference with Overloading and Subtyping. - Geoffrey Smith 001 (TAPSOFT, 1993)

Principal Type Schemes for Functional Programs with Overloading and Subtyping. - Geoffrey Smith 001 (Sci. Comput. Program., 1994)

A Type Soundness Proof for Variables in LCF ML. - Dennis M. Volpano; Geoffrey Smith 001 (Inf. Process. Lett., 1995)

Towards an ML-Style Polymorphic Type System for C. - Geoffrey Smith 001; Dennis M. Volpano (ESOP, 1996)

On the Systematic Design of Web Languages. - Dennis M. Volpano; Geoffrey Smith 001 (ACM Comput. Surv., 1996)

A Sound Type System for Secure Flow Analysis. - Dennis M. Volpano; Cynthia E. Irvine; Geoffrey Smith 001 (J. Comput. Secur., 1996)

Polymorphic typing of Variables and References. - Geoffrey Smith 001; Dennis M. Volpano (ACM Trans. Program. Lang. Syst., 1996)

Eliminating Covert Flows with Minimum Typings. - Dennis M. Volpano; Geoffrey Smith 001 (CSFW, 1997)

A Type-Based Approach to Program Security. - Dennis M. Volpano; Geoffrey Smith 001 (TAPSOFT, 1997)

Language Issues in Mobile Program Security. - Dennis M. Volpano; Geoffrey Smith 001 (Mobile Agents and Security, 1998)

Secure Information Flow in a Multi-Threaded Imperative Language. - Geoffrey Smith 001; Dennis M. Volpano (POPL, 1998)

A Sound Polymorphic Type System for a Dialect of C. - Geoffrey Smith 001; Dennis M. Volpano (Sci. Comput. Program., 1998)

Confinement properties for programming languages. - Dennis M. Volpano; Geoffrey Smith 001 (SIGACT News, 1998)

Confinement Properties for Multi-Threaded Programs. - Geoffrey Smith 001; Dennis M. Volpano (MFPS, 1999)

Probabilistic Noninterference in a Concurrent Language. - Dennis M. Volpano; Geoffrey Smith 001 (J. Comput. Secur., 1999)

Verifying Secrets and Relative Secrecy. - Dennis M. Volpano; Geoffrey Smith 001 (POPL, 2000)

Basic research in information privacy. - Geoffrey Smith 001; Dennis M. Volpano (ACM SIGSOFT Softw. Eng. Notes, 2000)

A New Type System for Secure Information Flow. - Geoffrey Smith 001 (CSFW, 2001)

Managing security policies in a distributed environment using eXtensible markup language (XML). - Nathan N. Vuong; Geoffrey S. Smith; Yi Deng 001 (SAC, 2001)

Probabilistic Noninterference through Weak Probabilistic Bisimulation. - Geoffrey Smith 001 (CSFW, 2003)

Lenient Array Operations for Practical Secure Information Flow. - Zhenyue Deng; Geoffrey Smith 001 (CSFW, 2004)

Type inference and informative error reporting for secure information flow. - Zhenyue Deng; Geoffrey Smith 001 (ACM Southeast Regional Conference, 2006)

Inductive bases and their application to searches for minimal unary NFAs. - Geoffrey Smith 001 (ACM Southeast Regional Conference, 2006)

Secure information flow with random assignment and encryption. - Geoffrey Smith 001; Rafael Alpízar (FMSE, 2006)

Improved typings for probabilistic noninterference in a multi-threaded language. - Geoffrey Smith 001 (J. Comput. Secur., 2006)

Fast probabilistic simulation, nontermination, and secure information flow. - Geoffrey Smith 001; Rafael Alpízar (PLAS, 2007)

Adversaries and Information Leaks (Tutorial). - Geoffrey Smith 001 (TGC, 2007)

Principles of Secure Information Flow Analysis. - Geoffrey Smith 001 (Malware Detection, 2007)

Anatomy of a Real-Time Intrusion Prevention System. - Ricardo Koller; Raju Rangaswami; Joseph Marrero; Igor Hernandez; Geoffrey Smith 001; Mandy Barsilai; Silviu Necula; Seyed Masoud Sadjadi; Tao Li; Krista Merrill (ICAC, 2008)

On the Foundations of Quantitative Information Flow. - Geoffrey Smith 001 (FoSSaCS, 2009)

Secure Information Flow for Distributed Systems. - Rafael Alpízar; Geoffrey Smith 001 (Formal Aspects in Security and Trust, 2009)

Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks. - Boris Köpf; Geoffrey Smith 001 (CSF, 2010)

Computing the Leakage of Information-Hiding Systems. - Miguel E. Andrés; Catuscia Palamidessi; Peter van Rossum; Geoffrey Smith 001 (TACAS, 2010)

Min-Entropy Leakage of Channels in Cascade. - Barbara Espinoza; Geoffrey Smith 001 (Formal Aspects in Security and Trust, 2011)

Calculating bounds on information leakage using two-bit patterns. - Ziyuan Meng; Geoffrey Smith 001 (PLAS, 2011)

Quantifying Information Flow Using Min-Entropy. - Geoffrey Smith 001 (QEST, 2011)

Non-termination and secure information flow. - Geoffrey Smith 001; Rafael Alpízar (Math. Struct. Comput. Sci., 2011)

Measuring Information Leakage Using Generalized Gain Functions. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Geoffrey Smith 001 (CSF, 2012)

Min-entropy as a resource. - Barbara Espinoza; Geoffrey Smith 001 (Inf. Comput., 2013)

Additive and Multiplicative Notions of Leakage, and Their Capacities. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith 001 (CSF, 2014)

Abstract Channels and Their Robust Information-Leakage Ordering. - Annabelle McIver; Carroll Morgan; Geoffrey Smith 001; Barbara Espinoza; Larissa Meinicke (POST, 2014)

Recent Developments in Quantitative Information Flow (Invited Tutorial). - Geoffrey Smith 001 (LICS, 2015)

Preface to the special issue on quantitative information flow. - Miguel E. Andrés; Catuscia Palamidessi; Geoffrey Smith 001 (Math. Struct. Comput. Sci., 2015)

Axioms for Information Leakage. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith 001 (CSF, 2016)

Correlated Secrets in Quantitative Information Flow. - Nicolás E. Bordenabe; Geoffrey Smith 001 (CSF, 2016)

Tight Bounds on Information Leakage from Repeated Independent Runs. - David M. Smith; Geoffrey Smith 001 (CSF, 2017)

Refinement Metrics for Quantitative Information Flow. - Konstantinos Chatzikokolakis 001; Geoffrey Smith 001 (The Art of Modelling Computational Systems, 2019)

Quantifying Information Leakage of Deterministic Encryption. - Mireya Jurado; Geoffrey Smith 001 (CCSW, 2019)

An axiomatization of information flow measures. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith 001 (Theor. Comput. Sci., 2019)

The Science of Quantitative Information Flow. - Mário S. Alvim; Konstantinos Chatzikokolakis 001; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith 001 (Springer, 2020)

A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption. - Mireya Jurado; Catuscia Palamidessi; Geoffrey Smith 001 (CSF, 2021)