Publications

(2024). Testing side-channel security of cryptographic implementations against future microarchitectures. Tech Report.

PDF Cite Code Project arXiv version

(2021). Contract-aware Secure Compilation. Technical report.

PDF Cite Extended version (arXiv)

(2021). I Told You Tomorrow: Practical Time-Locked Secrets using Smart Contracts. ARES 2021.

PDF Cite

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

PDF Cite Project Extended version (arXiv)

(2019). Information-Flow Control for Database-backed Applications. EuroS&P 2019.

PDF Cite Code Project Technical report

(2017). Synthesis of Probabilistic Privacy Enforcement. CCS 2017.

PDF Cite Code

(2017). Test Execution Checkpointing for Web Applications. ISSTA 2017.

PDF Cite Code

(2014). Optimal Security-Aware Query Processing. VLDB 2014.

PDF Cite Project

(2013). A Model-Driven Approach for Securing Software Architectures. Secrypt 2013.

PDF Cite

(2013). On the Notion of Redundancy in Access Control Policies. SACMAT 2013.

PDF Cite

(2013). AURORA: AUtomatic RObustness coveRage Analysis Tool. ICST 2013.

PDF Cite Code

(2012). Towards Assisted Remediation of Security Vulnerabilities. Securware 2012.

PDF Cite

(2012). Conflict Detection in Security Policies using Semantic Web Technology. ESTEL 2012.

PDF Cite

(2012). Automated Management and Analysis of Security Policies using Eclipse. Eclipse-IT 2012.

PDF Cite

(2012). Evolutionary Testing of PHP Web Applications with WETT. SSBSE 2012.

PDF Cite

(2012). Model-Driven Testing for Web Applications using Abstract State Machines. MDWE 2012.

PDF Cite

(2012). Extending Coverage Criteria by Evaluating their Robustness to Code Structure Changes. ICTSS 2012.

PDF Cite

(2012). A Domain Specific Language for Modeling Differential Constraints of Mobile Robots. Robotica 2012.

PDF Cite Code

(2011). An Eclipse based environment for conformance testing by FSMs. Eclipse-IT 2011.

PDF Cite Code

(2011). Security vulnerabilities detection and protection using Eclipse. Eclipse-IT 2011.

PDF Cite