More Publications

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

PDF Code Project

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

PDF Code Project Extended Version

. Test Execution Checkpointing for Web Applications. In ISSTA, 2017.

PDF Code

. Optimal Security-Aware Query Processing. In VLDB, 2014.

PDF Project

. A Model-Driven Approach for Securing Software Architectures. In Secrypt, 2013.


. On the Notion of Redundancy in Access Control Policies. In SACMAT, 2013.


. AURORA: AUtomatic RObustness coveRage Analysis Tool. In ICST, 2013.

PDF Code

. Conflict Detection in Security Policies using Semantic Web Technology. In ESTEL, 2012.



ETH Zurich:

  • TA for Security Engineering — Autumn 2013–2016
  • TA for Information Security — Spring 2015, 2018
  • TA for Design of Digital Circuits — Spring 2017
  • TA for Informatik fur Mathematiker und Physiker — Autumn 2017

Università degli Studi di Bergamo:

  • TA for Object Oriented Programming – Spring 2011–2012

Thesis Mentoring:

  • Tristan Buchs, Checkpointing-Based Testing, Master Thesis, ETH Zurich, Fall 2014
  • Ernst Zachow, Improving the Efficiency of Fuzz Testing Using Checkpointing, Master Thesis, ETH Zurich, Fall 2013
  • Marco Lazzari, Systematic Testing of TOR, Master Thesis, ETH Zurich, Fall 2013
  • Mohammed Ajil, Strong and Secure Access Control for PostgreSQL, Bachelor Thesis, ETH Zurich, Spring 2016


2017 — ACM Conference on Computer and Communications Security (CCS), External reviewer

2017 — VLDB Journal, External reviewer

2016 — European Symposium on Research in Computer Security (ESORICS), External reviewer

2016 — International Conference on Fundamental Approaches to Software Engineering (FASE), External reviewer

2013 — VLDB Journal, External reviewer