| 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 | 236 | 2020 |
| 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 | 127 | 2021 |
| 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 | 51 | 2020 |
| Exorcising spectres with secure compilers M Patrignani, M Guarnieri 28th ACM Conference on Computer and Communications Security (CCS 2021), 2021 | 48 | 2021 |
| 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 | 32 | 2023 |
| Securing databases from probabilistic inference M Guarnieri, S Marinovic, D Basin 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 343-359, 2017 | 32 | 2017 |
| Automatic Detection of Speculative Execution Combinations X Fabian, M Guarnieri, M Patrignani 29th ACM Conference on Computer and Communications Security (CCS 2022), 2022 | 31 | 2022 |
| Optimal security-aware query processing M Guarnieri, D Basin Proceedings of the VLDB Endowment 7 (12), 1307-1318, 2014 | 28 | 2014 |
| Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts Z Wang, G Mohr, K von Gleissenthall, J Reineke, M Guarnieri 30th ACM Conference on Computer and Communications Security (CCS 2023), 2023 | 25 | 2023 |
| 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 | 25 | 2019 |
| 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 | 23 | 2017 |
| 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 | 21 | 2016 |
| 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 | 19 | 2012 |
| 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 | 16 | 2013 |
| 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 | 16* | 2012 |
| 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 | 15 | 2017 |
| 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 | 13 | 2021 |
| Security vulnerabilities detection and protection using Eclipse M Guarnieri, P el Khoury, G Serme 6th Italian Workshop on Eclipse Technologies (EclipseIT 2011), 2011 | 12 | 2011 |
| 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 | 11 | 2012 |
| Flushgeist: Cache leaks from beyond the flush P Vila, A Abel, M Guarnieri, B Köpf, J Reineke arXiv preprint arXiv:2005.13853, 2020 | 9 | 2020 |
Boris KöpfAzure Research, MicrosoftVerified email at microsoft.com
