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
("Privacy in Data Access") and
IFIP Working Group 1.7
("Theoretical Foundations of Security Analysis and Design").
Recent and Upcoming Events
5th Workshop on Hot Issues in Security Principles and Trust (PC Member)
6th International Conference on Principles of Security and Trust (PC Member)
- My CSF 2014 paper won NSA's 3rd annual
Best Scientific Cybersecurity Paper Competition.
My award ceremony talk slides are here.
29th IEEE Computer Security Foundations Symposium (PC Member)
4th Workshop on Hot Issues in Security Principles and Trust (PC Member)
Int. Colloq. on Automata, Languages, and Programming/Symp.
on Logic in Computer Science
(Invited Joint Tutorial Speaker)
3rd Workshop on Hot Issues in Security Principles and Trust
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)
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.