Follow
Marco Patrignani
Marco Patrignani
Assistant Professor at University of Trento
Verified email at unitn.it - Homepage
Title
Cited by
Cited by
Year
A Formal Model for Capability Machines
A El-Korashy, D Garg, M Patrignani, J Reineke
A High-Level Model for an Assembly Language Attacker by Means of Reflection
A Larmuseau, M Patrignani, D Clarke
Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015
2015
A secure compiler for ML modules
A Larmuseau, M Patrignani, D Clarke
Asian Symposium on Programming Languages and Systems, 29-48, 2015
172015
A secure compiler for ml modules-extended version
A Larmuseau, M Patrignani, D Clarke
Department of Information Technology, Uppsala University, 2015
12015
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
35*2021
Automatic detection of speculative execution combinations
X Fabian, M Guarnieri, M Patrignani
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
212022
Automatically Synthesizing Leakage Contracts from Counterexamples
E Moreno-Sanchez, R Williams, M Guarnieri, M Patrignani
Blame-Preserving Secure Compilation
M Patrignani, M Kruse
January, 2023
2023
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
182021
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle (Technical Report)
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
Compiling a secure variant of C to capabilities
A El-Korashy, S Tsampas, M Patrignani, D Devriese, D Garg, F Piessens
Dagstuhl Seminar 18201, 0
3
Composing Secure Compilers
M Kruse, M Patrignani
CISPA, 2022
22022
Computationally Bounded Robust Compilation and Universally Composable Security
R Künnemann, M Patrignani, E Cecchetti
arXiv preprint arXiv:2401.15041, 2024
2024
Contract-aware secure compilation
M Guarnieri, M Patrignani
arXiv preprint arXiv:2012.14205, 2020
32020
Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
X Fabian, M Patrignani, M Guarnieri, M Backes
arXiv preprint arXiv:2405.10089, 2024
2024
Exorcising spectres with secure compilers
M Patrignani, M Guarnieri
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
372021
Exorcising Spectres with secure compilers
M Guarnieri, M Patrignani
arXiv, arXiv: 1910.08607, 2019
12019
Exorcising Spectres with Secure Compilers
M Vassena, M Patrignani
CISPA, 2020
2020
Formal analysis of policies in wireless sensor network applications
M Patrignani, N Matthys, J Proença, D Hughes, D Clarke
2012 Third International Workshop on Software Engineering for Sensor Network …, 2012
52012
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
942019
The system can't perform the operation now. Try again later.
Articles 1–20