Marco Patrignani

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