Research interests
- Computer security: foundations, information-flow, mitigation of covert channels,
programming-language based characterization and enforcement, web security.
- Programming languages: semantics, design, type systems, program analysis.
Recent projects
- Troupe - a programming language for concurrent and distributed programming with dynamic information flow control
Selected recent publications
Professional activities
- Program committees:
CSF 2021,
CSF 2020,
PriSC 2020,
Nordsec 2019 (co-chair),
POST 2019,
Euro S&P 2018,
PLAS 2017,
FCS 2017 (co-chair),
HotSpot 2017,
FCS 2016 (co-chair),
CSF 2016,
ESSOS 2015,
FCS-FCC 2014,
ARES 2014,
FCS 2013,
ARES 2013,
PLAS 2013,
ARES 2012,
PLAS 2011 (co-chair),
ISARCS 2010,
PLAS 2009,
VODCA 2008
Selected teaching and tutorial material
- Mechanization of a noninterference proof for a simple imperative language with
a small-step semantics in Coq (GitHub)
- Associated introductory notes on language-based information-flow security
(PDF)