Marco Patrignani

Marco Patrignani is a researcher affiliated with Stanford University and previously with the University of Trento (Italy). His work focuses on secure compilation, compiler security, and memory safety, particularly in the context of WebAssembly and Spectre attacks. He has contributed to numerous workshops and conferences, including POPL, PriSC, and PLDI.

• Key Research Areas: Secure Compilation, Programming Languages, WebAssembly, Cryptography
• Notable Contributions: Robust security guarantees against speculative execution attacks, memory safety preservation, and formal verification of compilers.

Publications highlight his work on compiler correctness, ownership-based information flow, and cryptographic security. He has organized and chaired sessions at workshops like PriSC and ESOP.