Geoffrey Smith

According to our database, Geoffrey Smith authored at least 52 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption.

Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

The Science of Quantitative Information Flow.

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith

Information Security and Cryptography, Springer, ISBN: 978-3-319-96131-6, 2020

2019

An axiomatization of information flow measures.

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith

Theor. Comput. Sci., 2019

Quantifying Information Leakage of Deterministic Encryption.

Mireya Jurado, Geoffrey Smith

Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop, 2019

Refinement Metrics for Quantitative Information Flow.

Konstantinos Chatzikokolakis, Geoffrey Smith

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2017

Tight Bounds on Information Leakage from Repeated Independent Runs.

David M. Smith, Geoffrey Smith

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Correlated Secrets in Quantitative Information Flow.

Nicolás E. Bordenabe, Geoffrey Smith

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Axioms for Information Leakage.

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Preface to the special issue on quantitative information flow.

Miguel E. Andrés, Catuscia Palamidessi, Geoffrey Smith

Math. Struct. Comput. Sci., 2015

Recent Developments in Quantitative Information Flow (Invited Tutorial).

Geoffrey Smith

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Abstract Channels and Their Robust Information-Leakage Ordering.

Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Additive and Multiplicative Notions of Leakage, and Their Capacities.

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Min-entropy as a resource.

Barbara Espinoza, Geoffrey Smith

Inf. Comput., 2013

2012

Measuring Information Leakage Using Generalized Gain Functions.

Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Non-termination and secure information flow.

Geoffrey Smith, Rafael Alpízar

Math. Struct. Comput. Sci., 2011

Quantifying Information Flow Using Min-Entropy.

Geoffrey Smith

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Calculating bounds on information leakage using two-bit patterns.

Ziyuan Meng, Geoffrey Smith

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011

Min-Entropy Leakage of Channels in Cascade.

Barbara Espinoza, Geoffrey Smith

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

2010

Computing the Leakage of Information-Hiding Systems.

Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

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

Boris Köpf, Geoffrey Smith

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Secure Information Flow for Distributed Systems.

Rafael Alpízar, Geoffrey Smith

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

On the Foundations of Quantitative Information Flow.

Geoffrey Smith

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

Anatomy of a Real-Time Intrusion Prevention System.

Ricardo Koller, Raju Rangaswami, Joseph Marrero, Igor Hernandez, Geoffrey Smith, Mandy Barsilai, Silviu Necula, Seyed Masoud Sadjadi, Tao Li, Krista Merrill

Proceedings of the 2008 International Conference on Autonomic Computing, 2008

2007

Principles of Secure Information Flow Analysis.

Geoffrey Smith

Proceedings of the Malware Detection, 2007

Adversaries and Information Leaks (Tutorial).

Geoffrey Smith

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Fast probabilistic simulation, nontermination, and secure information flow.

Geoffrey Smith, Rafael Alpízar

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

2006

Improved typings for probabilistic noninterference in a multi-threaded language.

Geoffrey Smith

J. Comput. Secur., 2006

Secure information flow with random assignment and encryption.

Geoffrey Smith, Rafael Alpízar

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

Inductive bases and their application to searches for minimal unary NFAs.

Geoffrey Smith

Proceedings of the 44st Annual Southeast Regional Conference, 2006

Type inference and informative error reporting for secure information flow.

Zhenyue Deng, Geoffrey Smith

Proceedings of the 44st Annual Southeast Regional Conference, 2006

2004

Lenient Array Operations for Practical Secure Information Flow.

Zhenyue Deng, Geoffrey Smith

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

Probabilistic Noninterference through Weak Probabilistic Bisimulation.

Geoffrey Smith

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2001

Managing security policies in a distributed environment using eXtensible markup language (XML).

Nathan N. Vuong, Geoffrey S. Smith, Yi Deng

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

A New Type System for Secure Information Flow.

Geoffrey Smith

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000

Basic research in information privacy.

Geoffrey Smith, Dennis M. Volpano

ACM SIGSOFT Softw. Eng. Notes, 2000

Verifying Secrets and Relative Secrecy.

Dennis M. Volpano, Geoffrey Smith

Proceedings of the POPL 2000, 2000

1999

Probabilistic Noninterference in a Concurrent Language.

Dennis M. Volpano, Geoffrey Smith

J. Comput. Secur., 1999

Confinement Properties for Multi-Threaded Programs.

Geoffrey Smith, Dennis M. Volpano

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

1998

Confinement properties for programming languages.

Dennis M. Volpano, Geoffrey Smith

SIGACT News, 1998

A Sound Polymorphic Type System for a Dialect of C.

Geoffrey Smith, Dennis M. Volpano

Sci. Comput. Program., 1998

Secure Information Flow in a Multi-Threaded Imperative Language.

Geoffrey Smith, Dennis M. Volpano

Proceedings of the POPL '98, 1998

Language Issues in Mobile Program Security.

Dennis M. Volpano, Geoffrey Smith

Proceedings of the Mobile Agents and Security, 1998

1997

A Type-Based Approach to Program Security.

Dennis M. Volpano, Geoffrey Smith

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Eliminating Covert Flows with Minimum Typings.

Dennis M. Volpano, Geoffrey Smith

Proceedings of the 10th Computer Security Foundations Workshop (CSFW '97), 1997

1996

Polymorphic typing of Variables and References.

Geoffrey Smith, Dennis M. Volpano

ACM Trans. Program. Lang. Syst., 1996

A Sound Type System for Secure Flow Analysis.

Dennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith

J. Comput. Secur., 1996

On the Systematic Design of Web Languages.

Dennis M. Volpano, Geoffrey Smith

ACM Comput. Surv., 1996

Towards an ML-Style Polymorphic Type System for C.

Geoffrey Smith, Dennis M. Volpano

Proceedings of the Programming Languages and Systems, 1996

1995

A Type Soundness Proof for Variables in LCF ML.

Dennis M. Volpano, Geoffrey Smith

Inf. Process. Lett., 1995

1994

Principal Type Schemes for Functional Programs with Overloading and Subtyping.

Geoffrey Smith

Sci. Comput. Program., 1994

1993

Polymorphic Type Inference with Overloading and Subtyping.

Geoffrey Smith

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1991

On the Complexity of ML Typability with Overloading.

Dennis M. Volpano, Geoffrey S. Smith

Proceedings of the Functional Programming Languages and Computer Architecture, 1991