Geoffrey Smith

Knight Foundation School of Computing and Information Sciences
Florida International University
Miami, Florida 33199 USA
E-mail:, where myname is smithg.
Phone: (305) 348-6037
Office: CASE 320

On medical leave.
  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


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