Publications

Filter by type:
. SPECTECTOR: Principled detection of speculative information flows. In S&P, 2020.

PDF Code 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)

. 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.

PDF

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

PDF

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

PDF Code

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

PDF

. Automated Management and Analysis of Security Policies using Eclipse. In Eclipse-IT, 2012.

PDF

. Towards Assisted Remediation of Security Vulnerabilities. In Securware, 2012.

PDF

. Model-Driven Testing for Web Applications using Abstract State Machines. In MDWE, 2012.

PDF

. Extending Coverage Criteria by Evaluating their Robustness to Code Structure Changes. In ICTSS, 2012.

PDF

. Evolutionary Testing of PHP Web Applications with WETT. In SSBSE, 2012.

PDF

. A Domain Specific Language for Modeling Differential Constraints of Mobile Robots. In Robotica, 2012.

PDF Code

. An Eclipse based environment for conformance testing by FSMs. In Eclipse-IT, 2011.

PDF Code

. Security vulnerabilities detection and protection using Eclipse. In Eclipse-IT, 2011.

PDF