Marco Patrignani

According to our database, Marco Patrignani authored at least 46 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Semantic Expressiveness of Iso- and Equi-Recursive Types.

Dominique Devriese, Eric Mark Martin, Marco Patrignani

Log. Methods Comput. Sci., 2024

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks.

Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes

CoRR, 2024

Computationally Bounded Robust Compilation and Universally Composable Security.

Robert Künnemann, Marco Patrignani, Ethan Cecchetti

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

Proc. ACM Program. Lang., January, 2023

Robust Constant-Time Cryptography.

Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan

CoRR, 2023

Secure Composition of Robust and Optimising Compilers.

Matthis Kruse, Michael Backes, Marco Patrignani

CoRR, 2023

Robust Safety for Move.

Marco Patrignani, Sam Blackshear

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Two Parametricities Versus Three Universal Types.

Dominique Devriese, Marco Patrignani, Frank Piessens

ACM Trans. Program. Lang. Syst., December, 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

Modular information flow through ownership.

Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Automatic Detection of Speculative Execution Combinations.

Xaver Fabian, Marco Guarnieri, Marco Patrignani

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Robustly Safe Compilation, an Efficient Form of Secure Compilation.

Marco Patrignani, Deepak Garg

ACM Trans. Program. Lang. Syst., 2021

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

ACM Trans. Program. Lang. Syst., 2021

On the semantic expressiveness of recursive types.

Marco Patrignani, Eric Mark Martin, Dominique Devriese

Proc. ACM Program. Lang., 2021

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.

Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Exorcising Spectres with Secure Compilers.

Marco Patrignani, Marco Guarnieri

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Contract-Aware Secure Compilation.

Marco Guarnieri, Marco Patrignani

CoRR, 2020

Why Should Anyone use Colours? or, Syntax Highlighting Beyond Code Snippets.

Marco Patrignani

CoRR, 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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Proceedings of the Programming Languages and Systems, 2020

2019

Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work.

Marco Patrignani, Amal Ahmed, Dave Clarke

ACM Comput. Surv., 2019

Memory Safety Preservation for WebAssembly.

Marco Vassena, Marco Patrignani

CoRR, 2019

Universal Composability is Secure Compilation.

Marco Patrignani, Riad S. Wahby, Robert Künnemann

CoRR, 2019

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

CoRR, 2019

Robustly Safe Compilation.

Marco Patrignani, Deepak Garg

Proceedings of the Programming Languages and Systems, 2019

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Parametricity versus the universal type.

Dominique Devriese, Marco Patrignani, Frank Piessens

Proc. ACM Program. Lang., 2018

Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

CoRR, 2018

Robustly Safe Compilation or, Efficient, Provably Secure Compilation.

Marco Patrignani, Deepak Garg

CoRR, 2018

2017

Modular, Fully-abstract Compilation by Approximate Back-translation.

Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel

Log. Methods Comput. Sci., 2017

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).

Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey

CoRR, 2017

Secure Compilation and Hyperproperty Preservation.

Marco Patrignani, Deepak Garg

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

On Modular and Fully-Abstract Compilation - Technical Appendix.

Marco Patrignani, Dominique Devriese, Frank Piessens

CoRR, 2016

Implementing a secure abstract machine.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Fully-abstract compilation by approximate back-translation.

Dominique Devriese, Marco Patrignani, Frank Piessens

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

On Modular and Fully-Abstract Compilation.

Marco Patrignani, Dominique Devriese, Frank Piessens

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

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

PhD thesis, 2015

Secure Compilation to Protected Module Architectures.

Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens

ACM Trans. Program. Lang. Syst., 2015

Fully abstract trace semantics for protected module architectures.

Marco Patrignani, Dave Clarke

Comput. Lang. Syst. Struct., 2015

A High-Level Model for an Assembly Language Attacker by Means of Reflection.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Secure Compiler for ML Modules.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Fully abstract trace semantics for low-level isolation mechanisms.

Marco Patrignani, Dave Clarke

Proceedings of the Symposium on Applied Computing, 2014

Operational Semantics for Secure Interoperation.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2013

Secure Compilation of Object-Oriented Components to Protected Module Architectures.

Marco Patrignani, Dave Clarke, Frank Piessens

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Formal analysis of policies in wireless sensor network applications.

Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke

Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012

2011

Ownership Types for the Join Calculus.

Marco Patrignani, Dave Clarke, Davide Sangiorgi

Proceedings of the Formal Techniques for Distributed Systems, 2011