Marco Patrignani

Identifiers

No identifiers captured yet.

Papers (3)

1. MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code cs.CR · 2022 · author #8
2. Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract) cs.CR · 2017 · author #3
3. On Modular and Fully-Abstract Compilation -- Technical Appendix cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Aidan Denlinger 1 shared papers
• Alexandra E. Michael 1 shared papers
• Anitha Gollamudi 1 shared papers
• Bryan Parno 1 shared papers
• Catalin Hritcu 1 shared papers
• Conrad Watt 1 shared papers
• Craig Disselkoen 1 shared papers
• David Swasey 1 shared papers
• Deepak Garg 1 shared papers
• Deian Stefan 1 shared papers
• Dominique Devriese 1 shared papers
• Frank Piessens 1 shared papers
• Jay Bosamiya 1 shared papers
• Marco Stronati 1 shared papers
• Marco Vassena 1 shared papers