Patrignani, Marco
Patrignani, Marco
Ingegneria e scienza dell'Informaz (29/10/12-)
A High-Level Model for an Assembly Language Attacker by Means of Reflection
2015-01-01 Larmuseau, Adriaan; Patrignani, Marco; Clarke, Dave
A Secure Compiler for ML Modules
2015-01-01 Larmuseau, Adriaan; Patrignani, Marco; Clarke, Dave
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation
2021-01-01 Abate, Carmine; Blanco, Roberto; Ciobaca, Stefan; Durier, Adrien; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; Tanter, Eric; Thibault, Jeremy
Automatic Detection of Speculative Execution Combinations
2022-01-01 Fabian, Xaver; Guarnieri, Marco; Patrignani, Marco
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
2021-01-01 El-Korashy, Akram; Tsampas, Stelios; Patrignani, Marco; Devriese, Dominique; Garg, Deepak; Piessens, Frank
Exorcising Spectres with Secure Compilers
2021-01-01 Patrignani, Marco; Guarnieri, Marco
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work
2019-01-01 Patrignani, Marco; Ahmed, Amal; Clarke, Dave
Fully abstract trace semantics for low-level isolation mechanisms
2014-01-01 Patrignani, Marco; Clarke, Dave
Fully abstract trace semantics for protected module architectures
2015-01-01 Patrignani, Marco; Clarke, Dave
Fully-abstract compilation by approximate back-translation
2016-01-01 Devriese, Dominique; Patrignani, Marco; Piessens, Frank
Implementing a secure abstract machine
2016-01-01 Larmuseau, Adriaan; Patrignani, Marco; Clarke, Dave
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
2019-01-01 Abate, Carmine; Blanco, Roberto; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; Thibault, Jeremy
Modular Information Flow Through Ownership
2022-01-01 Crichton, Will; Patrignani, Marco; Agrawala, Maneesh; Hanrahan, Pat
Modular, Fully-abstract Compilation by Approximate Back-translation
2017-01-01 Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
2023-01-01 Michael, Ae; Gollamudi, A; Bosamiya, J; Johnson, E; Denlinger, A; Disselkoen, C; Watt, C; Parno, B; Patrignani, M; Vassena, M; Stefan, D
On Modular and Fully-Abstract Compilation
2016-01-01 Patrignani, Marco; Devriese, Dominique; Piessens, Frank
On the semantic expressiveness of recursive types
2021-01-01 Patrignani, M.; Martin, E. M.; Devriese, D.
Operational semantics for secure interoperation
2014-01-01 Larmuseau, A.; Patrignani, M.; Clarke, D.
Ownership Types for the Join Calculus
2011-01-01 Patrignani, Marco; Clarke, Dave; Sangiorgi, Davide
Parametricity versus the universal type
2018-01-01 Devriese, D.; Patrignani, M.; Piessens, F.