Geoffrey Smith Portrait

Geoffrey Smith

Professor

Biography

Geoffrey Smith’s current research interests are centered on the foundations of computer security. For the past 20 years he has been particularly interested in techniques for controlling the leakage of sensitive information by computer systems. Notable accomplishments include the first type systems for guaranteeing noninterference, quantitative leakage bounds for timing attacks against cryptography, and the g-leakage model of quantitative information flow.

He completed his Ph.D. in Computer Science at Cornell University in 1991. Since 1994, he has been at Florida International University, where he is a Professor in the School of Computing and Information Sciences. He has held recent visiting appointments at the École Polytechnique (France), IMDEA Software (Spain), and Macquarie University (Australia), and he is a member of IFIP Working Group 1.7. He was named an ACM Distinguished Scientist in 2013, and he is an author of the 2014 paper “Additive and multiplicative notions of leakage, and their capacities”, which was named the winner of the NSA’s third annual Best Scientific Cybersecurity Paper Competition.

Honors and Awards

  • Winner of NSA’s 3rd annual Best Scientific Cybersecurity Paper competition, August 2015
  • Invited Tutorial at LICS 2015/ICALP 2015, Kyoto, Japan, July 2015
  • Unifying Invited Speaker at ETAPS 2014, Grenoble, France, April 2014
  • ACM Distinguished Scientist, November 2013
  • SCIS Excellence in Service Award, December 2010
  • SCIS Excellence in Teaching Award, December 2008

Research and Educational Interests

Computer security foundations, Quantitative information flow, Language-based security, Cryptography, Programming languages and semantics.

Background Education

1991 Ph.D., Computer Science, Cornell University

Professional Activities

  • Program Committee Member: POST 2017, CSF 2016, HotSpot 2016, CONCUR 2013, ESOP 2013
  • Guest editor, Mathematical Structures in Computer Science, Special issue on Quantitative Information Flow, 2015
  • Member of the Steering Committee of POST, 2014-present
  • Member of IFIP Working Group 1.7, 2014-present
  • Opponent at Filippo Del Tedesco’s dissertation defense at Chalmers University (Gothenburg, Sweden), 2014
  • Special Topics Lecturer, Summer School on Formal Methods for the Science of Security, University of Illinois at Urbana-Champaign, 2013

Professional Experience

  • Professor, School of Computing and Information Sciences, FIU, 2015-present;
    Associate Professor, 2002-2015; Assistant Professor, 1999-2002
  • Visiting Scientist, Laboratoire d’Informatique (LIX) of the École Polytechnique (Palaiseau, France), December 2015, December 2014, December 2013, September-December 2011, and June-July 2009
  • Visiting Professor, Macquarie University (Sydney, Australia), July 2014 and August 2013
  • Distinguished Visiting Researcher, IMDEA Software (Madrid, Spain), June 2012

Selected Publications

  • Nicolás E. Bordenabe and Geoffrey Smith, “Correlated Secrets in Quantitative Information Flow”, in Proc. CSF 2016: 29th IEEE Computer Security Foundations Symposium, pp. 93–104, Lisbon, Portugal, June 2016.
  • Mário S. Alvim, Kostas Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith, “Axioms for Information Leakage”, in Proc. CSF 2016: 29th IEEE Computer Security Foundations Symposium, pp. 77–92, Lisbon, Portugal, June 2016.
  • Mário S. Alvim, Kostas Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith, “Additive and Multiplicative Notions of Leakage, and their Capacities”, in Proc. CSF 2014: 27th IEEE Computer Security Foundations Symposium, pp. 308–322, Vienna, Austria, July 2014.
  • Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, and Larissa Meinicke, “Abstract Channels and their Robust Information-Leakage Ordering”, in Proc. POST 2014: 3rd Conference on Principles of Security and Trust, pp. 83–102, Grenoble, France, April 2014.
  • Mário S. Alvim, Kostas Chatzikokolakis, Catuscia Palamidessi, and Geoffrey Smith, “Measuring Information Leakage using Generalized Gain Functions”, in Proc. CSF 2012: 25th IEEE Computer Security Foundations Symposium, pp. 265–279, Harvard University, Cambridge, MA, June 2012.
  • Boris Köpf and Geoffrey Smith, “Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks”, in Proc. CSF 2010: 23rd IEEE Computer Security Foundations Symposium, pp. 44–56, Edinburgh, UK, July 2010.
  • Geoffrey Smith, “On the Foundations of Quantitative Information Flow”, in Proc. FoSSaCS 2009: Twelfth International Conference on Foundations of Software Science and Computation Structures, Luca de Alfaro (Ed.), LNCS 5504, pp. 288–302, York, UK, March 2009.