Geoffrey Smith

51 papers A* 3A 9B 2Journal 14Unranked 21

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