| 2021 | IGARSS | An Operational Service for Monitoring Grassland Dominated Natura2000 Sites with Copernicus Data. | Geoffrey Smith, Stefan Kleeschulte, Toms Soukup, Raul Garcia, Gebhard Banko, Bruno Combal |
| 2019 | CCS | Quantifying Information Leakage of Deterministic Encryption. | Mireya Jurado, Geoffrey Smith |
| 2015 | LICS | Recent Developments in Quantitative Information Flow (Invited Tutorial). | Geoffrey Smith |
| 2011 | PLDI | Calculating bounds on information leakage using two-bit patterns. | Ziyuan Meng, Geoffrey Smith |
| 2010 | TACAS | Computing the Leakage of Information-Hiding Systems. | Miguel E. Andrs, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith |
| 2009 | FOSSACS | On the Foundations of Quantitative Information Flow. | Geoffrey Smith |
| 2007 | PLDI | Fast probabilistic simulation, nontermination, and secure information flow. | Geoffrey Smith, Rafael Alpzar |
| 2006 | CCS | Secure information flow with random assignment and encryption. | Geoffrey Smith, Rafael Alpzar |
| 2000 | POPL | Verifying Secrets and Relative Secrecy. | Dennis M. Volpano, Geoffrey Smith |
| 1998 | POPL | Secure Information Flow in a Multi-Threaded Imperative Language. | Geoffrey Smith, Dennis M. Volpano |
| 1996 | ESOP | Towards an ML-Style Polymorphic Type System for C. | Geoffrey Smith, Dennis M. Volpano |