• 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 system for guaranteeing noninterference, quantitative leakage bounds for timing attacks against cryptography, and the g-leakage model of quantitative information flow. He is an author of the forthcoming book The Science of Quantitative Information Flow, which will be published by Springer (https://www.springer.com/us/book/9783319961293). 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 Knight Foundation 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.

selected publications

research interests

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

teaching activities

full name

  • Geoffrey Smith


Recent publications and grants in Scholars@FIU

publication subject areas

  • Computer Science
  • Mathematics
Citation index-derived subject areas the researcher has published in