Takip et
Marco Guarnieri
Marco Guarnieri
Assistant Research Professor, IMDEA Software Institute
imdea.org üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
SPECTECTOR: Principled Detection of Speculative Information Flows
M Guarnieri, B Köpf, JF Morales, J Reineke, A Sánchez
41st IEEE Symposium on Security and Privacy (S&P 2020), 2020
1832020
Hardware-Software Contracts for Secure Speculation
M Guarnieri, B Köpf, J Reineke, P Vila
42nd IEEE Symposium on Security and Privacy (S&P 2021), 2021
912021
CacheQuery: Learning Replacement Policies from Hardware Caches
P Vila, P Ganty, M Guarnieri, B Köpf
41st ACM SIGPLAN Conference on Programming Language Design and …, 2020
452020
Exorcising spectres with secure compilers
M Patrignani, M Guarnieri
28th ACM Conference on Computer and Communications Security (CCS 2021), 2021
322021
Securing databases from probabilistic inference
M Guarnieri, S Marinovic, D Basin
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 343-359, 2017
302017
Optimal security-aware query processing
M Guarnieri, D Basin
Proceedings of the VLDB Endowment 7 (12), 1307-1318, 2014
282014
Synthesis of probabilistic privacy enforcement
M Kučera, P Tsankov, T Gehr, M Guarnieri, M Vechev
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
212017
Information-flow control for database-backed applications
M Guarnieri, M Balliu, D Schoepe, D Basin, A Sabelfeld
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 79-94, 2019
202019
Strong and provably secure database access control
M Guarnieri, S Marinovic, D Basin
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 163-178, 2016
202016
Automatic Detection of Speculative Execution Combinations
X Fabian, M Guarnieri, M Patrignani
29th ACM Conference on Computer and Communications Security (CCS 2022), 2022
192022
Model-Driven Testing for Web Applications using Abstract State Machines
F Bolis, A Gargantini, M Guarnieri, E Magri, L Musto
8th International Workshop on Model-Driven and Agile Engineering for the Web …, 2012
192012
Conflict Detection in Security Policies using Semantic Web Technology
M Arrigoni Neri, M Guarnieri, E Magri, S Mutti, S Paraboschi
1st International IEEE-AESS Conference in Europe about Space and Satellite …, 2012
14*2012
Security vulnerabilities detection and protection using Eclipse
M Guarnieri, P el Khoury, G Serme
6th Italian Workshop on Eclipse Technologies (EclipseIT 2011), 2011
142011
On the Notion of Redundancy in Access Control Policies
M Guarnieri, M Arrigoni Neri, E Magri, S Mutti
18th ACM Symposium on Access Control Models and Technologies (SACMAT 2013), 2013
132013
Towards Assisted Remediation of Security Vulnerabilities
G Serme, A Santana De Oliveira, M Guarnieri, P El Khoury
6th International Conference on Emerging Security Information, Systems and …, 2012
122012
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
O Oleksenko, M Guarnieri, B Köpf, M Silberstein
44th IEEE Symposium on Security and Privacy (S&P 2023), 2023
112023
Test execution checkpointing for web applications
M Guarnieri, P Tsankov, T Buchs, M Torabi Dashti, D Basin
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
102017
I Told You Tomorrow: Practical Time-Locked Secrets using Smart Contracts
E Bacis, D Facchinetti, M Guarnieri, M Rosa, M Rossi, S Paraboschi
16th International Conference on Availability, Reliability and Security (ARES), 2021
92021
Flushgeist: Cache leaks from beyond the flush
P Vila, A Abel, M Guarnieri, B Köpf, J Reineke
arXiv preprint arXiv:2005.13853, 2020
92020
AURORA: Automatic robustness coverage analysis tool
A Gargantini, M Guarnieri, E Magri
6th IEEE International Conference on Software Testing, Verification and …, 2013
8*2013
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20