Urmăriți
Marco Patrignani
Marco Patrignani
Assistant Professor at University of Trento
Adresă de e-mail confirmată pe unitn.it - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
1102015
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
73*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
682019
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
59*2016
Secure compilation and hyperproperty preservation
M Patrignani, D Garg
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 392-404, 2017
422017
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
37*2021
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
352020
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
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
232017
Modular, fully-abstract compilation by approximate back-translation
S Keuchel, F Piessens, M Patrignani, D Devriese
Logical Methods in Computer Science 13, 2017
232017
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
21*2021
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
A secure compiler for ML modules
A Larmuseau, M Patrignani, D Clarke
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015
172015
Exorcising spectres with secure compilers
M Patrignani, M Guarnieri
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
142021
Why should anyone use colours? or, syntax highlighting beyond code snippets
M Patrignani
arXiv preprint arXiv:2001.11334, 2020
10*2020
Ownership types for the join calculus
M Patrignani, D Clarke, D Sangiorgi
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 …, 2011
102011
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20