Follow
Marco Patrignani
Marco Patrignani
Assistant Professor at University of Trento
Verified email at unitn.it - Homepage
Title
Cited by
Cited by
Year
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
Computationally Bounded Robust Compilation and Universally Composable Security
R Künnemann, M Patrignani, E Cecchetti
arXiv preprint arXiv:2401.15041, 2024
2024
Robust constant-time cryptography
M Kolosick, BA Shivakumar, S Cauligi, M Patrignani, M Vassena, R Jhala, ...
arXiv preprint arXiv:2311.05831, 2023
22023
Secure composition of robust and optimising compilers
M Kruse, M Backes, M Patrignani
arXiv preprint arXiv:2307.08681, 2023
12023
Robust safety for move
M Patrignani, S Blackshear
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 308-323, 2023
72023
Mswasm: Soundly enforcing memory-safe execution of unsafe code
AE Michael, A Gollamudi, J Bosamiya, E Johnson, A Denlinger, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 425-454, 2023
192023
Blame-Preserving Secure Compilation
M Patrignani, M Kruse
January, 2023
2023
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
Two Parametricities Versus Three Universal Types
D Devriese, M Patrignani, F Piessens
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (4), 1-43, 2022
12022
Modular information flow through ownership
W Crichton, M Patrignani, M Agrawala, P Hanrahan
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
142022
Composing Secure Compilers
M Kruse, M Patrignani
CISPA, 2022
22022
Formal Verification of Spectres Combination
X Fabian, K Chan, M Patrignani
CISPA, 2021
2021
Exorcising spectres with secure compilers
M Patrignani, M Guarnieri
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
372021
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
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
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
48*2021
On the semantic expressiveness of recursive types
M Patrignani, EM Martin, D Devriese
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
142021
Contract-aware secure compilation
M Guarnieri, M Patrignani
arXiv preprint arXiv:2012.14205, 2020
32020
On the Semantic Expressiveness of Iso-and Equi-Recursive Types
D Devriese, EM Martin, M Patrignani
arXiv preprint arXiv:2010.10859, 2020
2020
Exorcising Spectres with Secure Compilers
M Vassena, M Patrignani
CISPA, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20