Marco Patrignani
Marco Patrignani
Research group leader @CISPA Saarland
Verified email at - Homepage
Cited by
Cited by
Secure compilation to protected module architectures
M Patrignani, P Agten, R Strackx, B Jacobs, D Clarke, F Piessens
ACM transactions on programming languages and systems (TOPLAS) 37 (2), 1-50, 2015
Journey beyond full abstraction: Exploring robust property preservation for secure compilation
C Abate, R Blanco, D Garg, C Hritcu, M Patrignani, J Thibault
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 256-25615, 2019
Formal approaches to secure compilation: A survey of fully abstract compilation and related work
M Patrignani, A Ahmed, D Clarke
ACM Computing Surveys (CSUR) 51 (6), 1-36, 2019
Fully-abstract compilation by approximate back-translation
D Devriese, M Patrignani, F Piessens
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
Secure compilation and hyperproperty preservation
M Patrignani, D Garg
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 392-404, 2017
On modular and fully-abstract compilation
M Patrignani, D Devriese, F Piessens
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016
Fully abstract trace semantics for protected module architectures
M Patrignani, D Clarke
Computer Languages, Systems & Structures 42, 22-45, 2015
Robustly safe compilation
M Patrignani, D Garg
European Symposium on Programming, 469-498, 2019
Secure compilation of Object-Oriented components to protected module architectures
M Patrignani, D Clarke, F Piessens
APLAS 2013, 176-191, 2013
Parametricity versus the universal type
D Devriese, M Patrignani, F Piessens
Proceedings of the ACM on Programming Languages 2 (POPL), 1-23, 2017
Modular, fully-abstract compilation by approximate back-translation
S Keuchel, F Piessens, M Patrignani, D Devriese
Logical methods in computer science 13, 2017
Towards automatic compartmentalization of C programs on capability machines
S Tsampas, A El-Korashy, M Patrignani, D Devriese, D Garg, F Piessens
Workshop on Foundations of Computer Security 2017, 1-14, 2017
Fully abstract trace semantics for low-level isolation mechanisms
M Patrignani, D Clarke
SAC 2015, 2013
The tome of secure compilation: Fully abstract compilation to protected modules architectures
M Patrignani
A secure compiler for ML modules
A Larmuseau, M Patrignani, D Clarke
Asian Symposium on Programming Languages and Systems, 29-48, 2015
Trace-relating compiler correctness and secure compilation
C Abate, R Blanco, Ș Ciobâcă, A Durier, D Garg, C Hrițcu, M Patrignani, ...
European Symposium on Programming, 1-28, 2020
Ownership types for the join calculus
M Patrignani, D Clarke, D Sangiorgi
Formal Techniques for Distributed Systems, 289-303, 2011
Type-directed scheduling of streaming accelerators
D Durst, M Feldman, D Huff, D Akeley, R Daly, GL Bernstein, M Patrignani, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
CapablePtrs: securely compiling partial programs using the pointers-as-capabilities principle
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
Exorcising spectres with secure compilers
M Patrignani, M Guarnieri
arXiv preprint arXiv:1910.08607, 2019
The system can't perform the operation now. Try again later.
Articles 1–20