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
1082015
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
68*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
662019
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
58*2016
Secure compilation and hyperproperty preservation
M Patrignani, D Garg
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 392-404, 2017
412017
On modular and fully-abstract compilation
M Patrignani, D Devriese, F Piessens
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016
392016
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
33*2021
Fully abstract trace semantics for protected module architectures
M Patrignani, D Clarke
Computer Languages, Systems & Structures 42, 22-45, 2015
332015
Secure compilation of Object-Oriented components to protected module architectures
M Patrignani, D Clarke, F Piessens
APLAS 2013, 176-191, 2013
282013
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
262020
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
252017
Parametricity versus the universal type
D Devriese, M Patrignani, F Piessens
Proceedings of the ACM on Programming Languages 2 (POPL), 1-23, 2017
242017
Modular, fully-abstract compilation by approximate back-translation
S Keuchel, F Piessens, M Patrignani, D Devriese
Logical methods in computer science 13, 2017
232017
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
182015
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
17*2021
A secure compiler for ML modules
A Larmuseau, M Patrignani, D Clarke
Asian Symposium on Programming Languages and Systems, 29-48, 2015
172015
Exorcising spectres with secure compilers
M Patrignani, M Guarnieri
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
112021
Ownership types for the join calculus
M Patrignani, D Clarke, D Sangiorgi
Formal Techniques for Distributed Systems, 289-303, 2011
112011
Why should anyone use colours? or, syntax highlighting beyond code snippets
M Patrignani
arXiv preprint arXiv:2001.11334, 2020
102020
The system can't perform the operation now. Try again later.
Articles 1–20