Geoffrey Smith

School of Computing and Information Sciences
Florida International University
Miami, Florida 33199 USA
E-mail:, where myname is smithg.
Phone: (305) 348-6037
Office: ECS 320
On medical leave, tentatively until December 2018.
  Geoffrey Smith   Yoshi Cockatiel


My research interests center on the foundations of computer security and especially on secure information flow, including quantitative measures (e.g. Bayes leakage and g-leakage), applications to cryptography (e.g. timing attacks), and language-based security (e.g. type systems guaranteeing noninterference).

Most of my research papers are available here.

I am a member of INRIA associate team Princess ("Privacy in Data Access") and IFIP Working Group 1.7 ("Theoretical Foundations of Security Analysis and Design").

Recent and Upcoming Events


Fall 2017

Previous Semesters

LaTeX Package for FIU PhD Dissertations

My package for formatting FIU PhD dissertations using LaTeX can be found here: See the README file for basic instructions.

SCS SquirrelMail