Marco Patrignani

1. MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
   2022/08/29 by Alexandra E. Michael, Michael, Alexandra E., Anitha Gollamudi +17 · 2 voices · 2 citations
   Computer Science · Engineering · #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #Semiconductor materials and devices #cs.CR #cs.PL
2. Robustly Safe Compilation or, Efficient, Provably Secure Compilation
   2018/04/02 by Marco Patrignani, Patrignani, Marco, Deepak Garg +1 · 1 citation
   Computer Science · #Security and Verification in Computing #Cryptography and Data Security #Distributed systems and fault tolerance
3. Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
   2024/05/16 by Xaver Fabian, Marco Patrignani, Fabian, Xaver +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
4. Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
   2026/07/16 by Elvira Moreno, Tiziano Marinaro, Ryan Williams +4
   #cs.CR