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.