Marco Patrignani

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 45

Top Venues

CoRR

CSF

ACM Trans. Program. Lang. Syst.

Proc. ACM Program. Lang.

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Robert Künnemann, Marco Patrignani, Ethan Cecchetti
Computationally Bounded Robust Compilation and Universally Composable Security. CoRR (2024)
Matthis Kruse, Michael Backes, Marco Patrignani
Secure Composition of Robust and Optimising Compilers. CoRR (2023)
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
Robust Constant-Time Cryptography. CoRR (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. 7 (POPL) (2023)
Marco Patrignani, Sam Blackshear
Robust Safety for Move. CSF (2023)
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
Modular information flow through ownership. PLDI (2022)
Xaver Fabian, Marco Guarnieri, Marco Patrignani
Automatic Detection of Speculative Execution Combinations. CCS (2022)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. CoRR (2022)
Xaver Fabian, Marco Guarnieri, Marco Patrignani
Automatic Detection of Speculative Execution Combinations. CoRR (2022)
Dominique Devriese, Marco Patrignani, Frank Piessens
Two Parametricities Versus Three Universal Types. ACM Trans. Program. Lang. Syst. 44 (4) (2022)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Marco Patrignani, Marco Guarnieri
Exorcising Spectres with Secure Compilers. CCS (2021)
Marco Patrignani, Sam Blackshear
Robust Safety for Move. CoRR (2021)
Marco Patrignani, Deepak Garg
Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Trans. Program. Lang. Syst. 43 (1) (2021)
Marco Patrignani, Eric Mark Martin, Dominique Devriese
On the semantic expressiveness of recursive types. Proc. ACM Program. Lang. 5 (POPL) (2021)
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. CSF (2021)
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
Modular Information Flow Through Ownership. CoRR (2021)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. ESOP (2020)
David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross G. Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan
Type-directed scheduling of streaming accelerators. PLDI (2020)
Marco Patrignani, Eric Mark Martin, Dominique Devriese
On the Semantic Expressiveness of Recursive Types. CoRR (2020)
Marco Patrignani
Why Should Anyone use Colours? or, Syntax Highlighting Beyond Code Snippets. CoRR (2020)
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle. CoRR (2020)
Marco Guarnieri, Marco Patrignani
Contract-Aware Secure Compilation. CoRR (2020)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. CoRR (2019)
Marco Guarnieri, Marco Patrignani
Exorcising Spectres with Secure Compilers. CoRR (2019)
Marco Patrignani, Amal Ahmed, Dave Clarke
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work. ACM Comput. Surv. 51 (6) (2019)
Marco Patrignani, Riad S. Wahby, Robert Künneman
Universal Composability is Secure Compilation. CoRR (2019)
Marco Patrignani, Deepak Garg
Robustly Safe Compilation. ESOP (2019)
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. CSF (2019)
Marco Vassena, Marco Patrignani
Memory Safety Preservation for WebAssembly. CoRR (2019)
Dominique Devriese, Marco Patrignani, Frank Piessens
Parametricity versus the universal type. Proc. ACM Program. Lang. 2 (POPL) (2018)
Marco Patrignani, Deepak Garg
Robustly Safe Compilation or, Efficient, Provably Secure Compilation. CoRR (2018)
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
Exploring Robust Property Preservation for Secure Compilation. CoRR (2018)
Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
Modular, Fully-abstract Compilation by Approximate Back-translation. CoRR (2017)
Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
Modular, Fully-abstract Compilation by Approximate Back-translation. Log. Methods Comput. Sci. 13 (4) (2017)
Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). CoRR (2017)
Marco Patrignani, Deepak Garg
Secure Compilation and Hyperproperty Preservation. CSF (2017)
Marco Patrignani, Dominique Devriese, Frank Piessens
On Modular and Fully-Abstract Compilation - Technical Appendix. CoRR (2016)
Marco Patrignani, Dominique Devriese, Frank Piessens
On Modular and Fully-Abstract Compilation. CSF (2016)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
Implementing a secure abstract machine. SAC (2016)
Dominique Devriese, Marco Patrignani, Frank Piessens
Fully-abstract compilation by approximate back-translation. POPL (2016)
Marco Patrignani, Dave Clarke
Fully abstract trace semantics for protected module architectures. Comput. Lang. Syst. Struct. 42 (2015)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
A High-Level Model for an Assembly Language Attacker by Means of Reflection. SETTA (2015)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
A Secure Compiler for ML Modules. APLAS (2015)
Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens
Secure Compilation to Protected Module Architectures. ACM Trans. Program. Lang. Syst. 37 (2) (2015)
Marco Patrignani, Dave Clarke
Fully abstract trace semantics for low-level isolation mechanisms. SAC (2014)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
Operational Semantics for Secure Interoperation. PLAS@ECOOP (2014)
Marco Patrignani, Dave Clarke, Frank Piessens
Secure Compilation of Object-Oriented Components to Protected Module Architectures. APLAS (2013)
Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke
Formal analysis of policies in wireless sensor network applications. SESENA (2012)
Marco Patrignani, Dave Clarke, Davide Sangiorgi
Ownership Types for the Join Calculus. FMOODS/FORTE (2011)

Marco Patrignani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marco Patrignani