معرفی
Marco Patrignani is a researcher affiliated with the University of Trento, Italy, and has previously worked at the Max Planck Institute for Software Systems (MPI-SWS), Germany. His work focuses on secure compilation, programming language design, and formal verification of security properties in compilers and systems.
Research Interests: His research spans secure compilation, memory safety guarantees, cryptographic security, and formal verification of type systems. He investigates how compilers can enforce robust security policies against side-channel attacks, Spectre vulnerabilities, and cross-language code interactions.
Conference Contributions: He has authored and co-authored numerous publications at venues like POPL, PLDI, ESOP, and PriSC. His work includes theoretical advancements in recursive type expressiveness and practical techniques for secure WebAssembly execution and constant-time cryptography.
Committee Roles: Marco has served on program committees for conferences such as PLDI, POPL, and PriSC, contributing to peer review and session organization.
