More Publications

. Exorcising Spectres with Secure Compilers. In CCS, 2021.

PDF Project Extended version (arXiv)

. Contract-aware Secure Compilation. Technical report, 2021.

PDF Project Extended version (arXiv)

. Flushgeist: Cache Leaks from Beyond the Flush. Technical report, 2020.

PDF Project Extended version (arXiv)

. Information-Flow Control for Database-backed Applications. In EuroS&P, 2019.

PDF Project

. Synthesis of Probabilistic Privacy Enforcement. In CCS, 2017.

PDF Code Project

. Securing Databases from Probabilistic Inference. In CSF, 2017.

PDF Code Project Extended version (arXiv)