Items where Author is "Patrignani, Marco"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 17.

Fabian, Xaver and Guarnieri, Marco and Patrignani, Marco
(2022) Automatic Detection of Speculative Execution Combinations.
In: CCS 2022, 7-11 Nov 2022, Los Angeles, CA, USA.
Conference: CCS ACM Conference on Computer and Communications Security
(In Press)

Kruse, Matthis and Patrignani, Marco
(2022) Composing Secure Compilers.
In: ACM SIGPLAN Workshop on Principles of Secure Compilation, 2022, Sun 16 - Fri 28 January 2022, Philadelphia, Pennsylvania, United States.
Conference: PriSC Workshop on Principles of Secure Compilation

Fabian, Xaver and Chan, Koby and Patrignani, Marco
(2021) Formal Verification of Spectres Combination.
In: PLAS 2021, 7 Dec 2021, Online.
Conference: PLAS Workshop on Programming Languages and Analysis for Security

Patrignani, Marco and Guarnieri, Marco
(2021) Exorcising Spectres with secure compilers.
In: ACM CCS 2021.
Conference: CCS ACM Conference on Computer and Communications Security

El-Korashy, Akram and Tsampas, Stelios and Patrignani, Marco and Devriese, Dominique and Garg, Deepak and Piessens, Frank
(2021) CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.
In: 34th IEEE Computer Security Foundations Symposium.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Patrignani, Marco and Martin, Eric Mark and Devriese, Dominique
(2021) On the Semantic Expressiveness of Recursive Types.
In: POPL 2021.
Conference: POPL ACM-SIGACT Symposium on Principles of Programming Languages

Patrignani, Marco and Guarnieri, Marco
(2020) Exorcising Spectres with Secure Compilers.
arxiv
.

Durst, David and Feldman, Matthew and Huff, Dillon and Akeley, David and Daly, Ross and Bernstein, Gilbert Louis and Patrignani, Marco and Fatahalian, Kayvon and Hanrahan, Pat
(2020) Type-Directed Scheduling of Streaming Accelerators.
In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Abate, Carmine and Blanco, Roberto and Ciobaca, Stefan and Durier, Adrien and Garg, Deepak and Hritcu, Catalin and Patrignani, Marco and Tanter, Éric and Thibault, Jérémy
(2020) Trace-Relating Compiler Correctness and Secure Compilation.
In: Programming Languages and Systems.
Conference: ESOP European Symposium on Programming

Vassena, Marco and Patrignani, Marco
(2020) Memory Safety Preservation for WebAssembly.
UNSPECIFIED
.

Patrignani, Marco and Wahby, Riad S. and Künnemann, Robert
(2020) Universal Composability is Secure Compilation.
In: PriSC 2020 - co-located with POPL.
Conference: PriSC Workshop on Principles of Secure Compilation

Abate, Carmine and Blanco, Roberto and Garg, Deepak and Hritcu, Catalin and Patrignani, Marco and Thibault, Jeremy
(2019) Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.
In: csf.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

Patrignani, Marco and Garg, Deepak
(2019) Robustly Safe Compilation.
In: ESOP.
Conference: ESOP European Symposium on Programming

Vassena, Marco and Patrignani, Marco
(2019) Memory Safety Preservation for WebAssembly.
arxiv
.

Devriese, Dominique and Patrignani, Marco and Piessens, Frank
(2017) Parametricity Versus the Universal Type.
In: POPL.

Garg, Deepak and Hriţcu, Cătălin and Patrignani, Marco and Stronati, Marco and Swasey, David
(2017) Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).
In: 1st Workshop on Principles of Secure Compilation.

Patrignani, Marco and Garg, Deepak
(2017) Secure Compilation and Hyperproperty Preservation.
In: 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)

This list was generated on Fri Mar 29 13:11:30 2024 CET.