Marco Guarnieri
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [i3]Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez:
SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR abs/1812.08639 (2018) - 2017
- [c10]Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev:
Synthesis of Probabilistic Privacy Enforcement. ACM Conference on Computer and Communications Security 2017: 391-408 - [c9]Marco Guarnieri, Srdjan Marinovic, David A. Basin:
Securing Databases from Probabilistic Inference. CSF 2017: 343-359 - [c8]Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin:
Test execution checkpointing for web applications. ISSTA 2017: 203-214 - [i2]Marco Guarnieri, Srdjan Marinovic, David A. Basin:
Securing Databases from Probabilistic Inference. CoRR abs/1706.02473 (2017) - 2016
- [c7]Marco Guarnieri, Srdjan Marinovic, David A. Basin:
Strong and Provably Secure Database Access Control. EuroS&P 2016: 163-178 - 2015
- [i1]Marco Guarnieri, Srdjan Marinovic, David A. Basin:
Strong and Provably Secure Database Access Control. CoRR abs/1512.01479 (2015) - 2014
- [j1]Marco Guarnieri, David A. Basin:
Optimal Security-Aware Query Processing. PVLDB 7(12): 1307-1318 (2014) - 2013
- [c6]Angelo Gargantini, Marco Guarnieri, Eros Magri:
AURORA: AUtomatic RObustness coveRage Analysis Tool. ICST 2013: 463-470 - [c5]Marco Guarnieri, Mario Arrigoni Neri, Eros Magri, Simone Mutti:
On the notion of redundancy in access control policies. SACMAT 2013: 161-172 - [c4]Mario Arrigoni Neri, Marco Guarnieri, Eros Magri, Simone Mutti, Stefano Paraboschi:
A Model-driven Approach for Securing Software Architectures. SECRYPT 2013: 595-602 - 2012
- [c3]Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto:
Model-Driven Testing for Web Applications Using Abstract State Machines. ICWE Workshops 2012: 71-78 - [c2]Angelo Gargantini, Marco Guarnieri, Eros Magri:
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. ICTSS 2012: 168-183 - [c1]Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri:
Evolutionary Testing of PHP Web Applications with WETT. SSBSE 2012: 285-291
Coauthor Index
last updated on 2019-01-03 21:44 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint