Guarnieri, Marco

1. Hardware-Software Contracts for Secure Speculation
   2020/06/06 by Guarnieri, Marco, Köpf, Boris, Reineke, Jan +1 · 7 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
2. SPECTECTOR: Principled Detection of Speculative Information Flows
   2018/12/20 by Guarnieri, Marco, Köpf, Boris, Morales, José F. +2 · 6 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
3. Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
   2023/01/18 by Oleksenko, Oleksii, Guarnieri, Marco, Köpf, Boris +1 · 6 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
4. Exorcising Spectres with Secure Compilers
   2019/10/18 by Patrignani, Marco, Guarnieri, Marco · 2 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
5. Testing side-channel security of cryptographic implementations against future microarchitectures
   2024/02/01 by Barthe, Gilles, Böhme, Marcel, Cauligi, Sunjay +7 · 3 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
6. Automatic Detection of Speculative Execution Combinations
   2022/09/02 by Fabian, Xaver, Guarnieri, Marco, Patrignani, Marco · 2 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
7. Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts
   2023/05/11 by Wang, Zilong, Mohr, Gideon, von Gleissenthall, Klaus +2 · 3 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
8. Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
   2024/01/17 by Mohr, Gideon, Guarnieri, Marco, Reineke, Jan · 2 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
9. Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
   2024/05/16 by Xaver Fabian, Fabian, Xaver, Marco Patrignani +5 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Network Security and Intrusion Detection #Programming Languages (cs.PL) #Security and Verification in Computing