My research interests center on the foundations of computer security
and especially on secure information flow, including
quantitative measures (e.g. min-entropy and g-leakage),
applications to side-channel attacks,
and language-based security (e.g. type systems guaranteeing noninterference).
Most of my research papers are available here.
I am a member of the INRIA associate team
Recent and Upcoming Events
LaTeX Package for FIU PhD Dissertations
My package for formatting FIU PhD dissertations using LaTeX can be
found here: fiuphd.zip.
See the README file for basic instructions.