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
Princess ("Privacy in Data Access").
Recent and Upcoming Events
European Joint Conferences on Theory and Practice of Software,
(Unifying Invited Speaker)
at Filippo Del Tedesco's dissertation defense at Chalmers University
Summer School on Formal Methods for the Science of Security
(Special Topics Lecturer)
24th International Conference on Concurrency Theory (PC Member)
IFIP International Conference on Formal Techniques for Distributed Systems
22nd European Symposium on Programming (PC Member)
9th International Conference on Quantitative Evaluation of Systems (PC Member)
8th International Conference on Quantitative Evaluation of Systems
Theory of Security and Applications (PC Member)
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.