Follow
Marco Patrignani
Marco Patrignani
Assistant Professor at University of Trento
Verified email at unitn.it - Homepage
Title
Cited by
Cited by
Year
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
1122015
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
84*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
832019
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
60*2016
Secure compilation and hyperproperty preservation
M Patrignani, D Garg
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 392-404, 2017
492017
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
482020
Robustly Safe Compilation, an Efficient Form of Secure Compilation
M Patrignani, D Garg
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (1), 1-41, 2021
44*2021
On modular and fully-abstract compilation
M Patrignani, D Devriese, F Piessens
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016
402016
Fully abstract trace semantics for protected module architectures
M Patrignani, D Clarke
Computer Languages, Systems & Structures 42, 22-45, 2015
332015
An extended account of trace-relating compiler correctness and secure compilation
C Abate, R Blanco, Ş Ciobâcă, A Durier, D Garg, C Hriţcu, M Patrignani, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-48, 2021
29*2021
Secure compilation of Object-Oriented components to protected module architectures
M Patrignani, D Clarke, F Piessens
APLAS 2013, 176-191, 2013
282013
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
272017
Parametricity versus the universal type
D Devriese, M Patrignani, F Piessens
Proceedings of the ACM on Programming Languages 2 (POPL), 1-23, 2017
262017
Modular, fully-abstract compilation by approximate back-translation
D Devriese, M Patrignani, F Piessens, S Keuchel
Logical methods in computer science 13, 2017
252017
Exorcising Spectres with secure compilers
M Patrignani, M Guarnieri
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
242021
Fully abstract trace semantics for low-level isolation mechanisms
M Patrignani, D Clarke
SAC 2015, 2013
212013
The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures
M Patrignani
192015
A secure compiler for ML modules
A Larmuseau, M Patrignani, D Clarke
Asian Symposium on Programming Languages and Systems, 29-48, 2015
172015
Why should anyone use colours? or, syntax highlighting beyond code snippets
M Patrignani
arXiv preprint arXiv:2001.11334, 2020
13*2020
Automatic Detection of Speculative Execution Combinations
X Fabian, M Guarnieri, M Patrignani
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
112022
The system can't perform the operation now. Try again later.
Articles 1–20