Research interests
- Computer security and privacy: foundations, information-flow, covert channels, metadata privacy, formal methods for security, web and mobile security.
- Programming languages: semantics, design, type systems, program analysis.
Active projects
- Troupe - a programming language for concurrent and distributed programming with dynamic information flow control
- DenIM - a protocol for secure instant messaging with metadata privacy
Selected recent publications
- Metadata Privacy Beyond Tunneling for Instant Messaging (Euro S&P'24)
- VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A (PLDI'23)
- OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads (CSF'23)
- [more...]
Professional activities
- Program committees: CSF 2022, 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
Teaching
- In the Fall of 2023, I teach Compilers course.
- In the Spring of 2024, I teach Language-Based Security.