Ownership Types for the Join Calculus. - Marco Patrignani; Dave Clarke 001; Davide Sangiorgi (FMOODS/FORTE, 2011)

Formal analysis of policies in wireless sensor network applications. - Marco Patrignani; Nelson Matthys; José Proença; Danny Hughes 001; Dave Clarke 001 (SESENA, 2012)

Secure Compilation of Object-Oriented Components to Protected Module Architectures. - Marco Patrignani; Dave Clarke 001; Frank Piessens (APLAS, 2013)

Operational Semantics for Secure Interoperation. - Adriaan Larmuseau; Marco Patrignani; Dave Clarke 001 (PLAS@ECOOP, 2014)

Fully abstract trace semantics for low-level isolation mechanisms. - Marco Patrignani; Dave Clarke 001 (SAC, 2014)

A Secure Compiler for ML Modules. - Adriaan Larmuseau; Marco Patrignani; Dave Clarke 001 (APLAS, 2015)

A High-Level Model for an Assembly Language Attacker by Means of Reflection. - Adriaan Larmuseau; Marco Patrignani; Dave Clarke 001 (SETTA, 2015)

Fully abstract trace semantics for protected module architectures. - Marco Patrignani; Dave Clarke 001 (Comput. Lang. Syst. Struct., 2015)

Secure Compilation to Protected Module Architectures. - Marco Patrignani; Pieter Agten; Raoul Strackx; Bart Jacobs 002; Dave Clarke 001; Frank Piessens (ACM Trans. Program. Lang. Syst., 2015)

The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures ; Het boek van veilige compilatie: Volledig abstracte compilatie naar beschermende modulearchitecturen. - Marco Patrignani (2015)

On Modular and Fully-Abstract Compilation. - Marco Patrignani; Dominique Devriese; Frank Piessens (CSF, 2016)

Fully-abstract compilation by approximate back-translation. - Dominique Devriese; Marco Patrignani; Frank Piessens (POPL, 2016)

Implementing a secure abstract machine. - Adriaan Larmuseau; Marco Patrignani; Dave Clarke 001 (SAC, 2016)

On Modular and Fully-Abstract Compilation - Technical Appendix. - Marco Patrignani; Dominique Devriese; Frank Piessens (CoRR, 2016)

Secure Compilation and Hyperproperty Preservation. - Marco Patrignani; Deepak Garg 001 (CSF, 2017)

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). - Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Marco Stronati; David Swasey (CoRR, 2017)

Modular, Fully-abstract Compilation by Approximate Back-translation. - Dominique Devriese; Marco Patrignani; Frank Piessens; Steven Keuchel (Log. Methods Comput. Sci., 2017)

Robustly Safe Compilation or, Efficient, Provably Secure Compilation. - Marco Patrignani; Deepak Garg 001 (CoRR, 2018)

Exploring Robust Property Preservation for Secure Compilation. - Carmine Abate; Roberto Blanco; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Jérémy Thibault (CoRR, 2018)

Parametricity versus the universal type. - Dominique Devriese; Marco Patrignani; Frank Piessens (Proc. ACM Program. Lang., 2018)

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. - Carmine Abate; Roberto Blanco; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Jérémy Thibault (CSF, 2019)

Robustly Safe Compilation. - Marco Patrignani; Deepak Garg 001 (ESOP, 2019)

Trace-Relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (CoRR, 2019)

Universal Composability is Secure Compilation. - Marco Patrignani; Riad S. Wahby; Robert Künnemann (CoRR, 2019)

Memory Safety Preservation for WebAssembly. - Marco Vassena; Marco Patrignani (CoRR, 2019)

Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. - Marco Patrignani; Amal Ahmed 001; Dave Clarke 001 (ACM Comput. Surv., 2019)

Trace-Relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Adrien Durier; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (ESOP, 2020)

Type-directed scheduling of streaming accelerators. - David Durst; Matthew Feldman; Dillon Huff; David Akeley; Ross G. Daly; Gilbert Louis Bernstein; Marco Patrignani; Kayvon Fatahalian; Pat Hanrahan (PLDI, 2020)

Why Should Anyone use Colours? or, Syntax Highlighting Beyond Code Snippets. - Marco Patrignani (CoRR, 2020)

Contract-Aware Secure Compilation. - Marco Guarnieri; Marco Patrignani (CoRR, 2020)

Exorcising Spectres with Secure Compilers. - Marco Patrignani; Marco Guarnieri (CCS, 2021)

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. - Akram El-Korashy; Stelios Tsampas 001; Marco Patrignani; Dominique Devriese; Deepak Garg 001; Frank Piessens (CSF, 2021)

On the semantic expressiveness of recursive types. - Marco Patrignani; Eric Mark Martin; Dominique Devriese (Proc. ACM Program. Lang., 2021)

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. - Carmine Abate; Roberto Blanco; Stefan Ciobaca; Adrien Durier; Deepak Garg 001; Catalin Hritcu; Marco Patrignani; Éric Tanter; Jérémy Thibault (ACM Trans. Program. Lang. Syst., 2021)

Robustly Safe Compilation, an Efficient Form of Secure Compilation. - Marco Patrignani; Deepak Garg 001 (ACM Trans. Program. Lang. Syst., 2021)

Automatic Detection of Speculative Execution Combinations. - Xaver Fabian; Marco Guarnieri; Marco Patrignani (CCS, 2022)

Modular information flow through ownership. - Will Crichton; Marco Patrignani; Maneesh Agrawala; Pat Hanrahan (PLDI, 2022)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Craig Disselkoen; Aidan Denlinger; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (CoRR, 2022)

Two Parametricities Versus Three Universal Types. - Dominique Devriese; Marco Patrignani; Frank Piessens (ACM Trans. Program. Lang. Syst., 2022)

Robust Safety for Move. - Marco Patrignani; Sam Blackshear (CSF, 2023)

Secure Composition of Robust and Optimising Compilers. - Matthis Kruse; Michael Backes 001; Marco Patrignani (CoRR, 2023)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson 001; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (Proc. ACM Program. Lang., 2023)

Computationally Bounded Robust Compilation and Universally Composable Security. - Robert Künnemann; Marco Patrignani; Ethan Cecchetti (CSF, 2024)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types. - Dominique Devriese; Eric Mark Martin; Marco Patrignani (Log. Methods Comput. Sci., 2024)

Universal Composability Is Robust Compilation. - Marco Patrignani; Robert Künnemann; Riad S. Wahby; Ethan Cecchetti (ACM Trans. Program. Lang. Syst., 2024)

Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks. - Xaver Fabian; Marco Patrignani; Marco Guarnieri; Michael Backes 001 (Proc. ACM Program. Lang., 2025)

Robust Constant-Time Cryptography. - Matthew Kolosick; Basavesh Ammanaghatta Shivakumar; Sunjay Cauligi; Marco Patrignani; Marco Vassena; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2025)