Articles with public access mandates - Marco PatrignaniLearn more
Available somewhere: 24
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
Mandates: Research Foundation (Flanders)
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
Mandates: US Department of Defense, European Commission, Federal Ministry of Education …
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
Mandates: US National Science Foundation, European Commission, Federal Ministry of …
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
Mandates: Research Foundation (Flanders)
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
Mandates: US National Science Foundation, US Department of Defense, American Heart …
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
Mandates: US Department of Defense, Federal Ministry of Education and Research, Germany
On modular and fully-abstract compilation
M Patrignani, D Devriese, F Piessens
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016
Mandates: Research Foundation (Flanders)
Exorcising spectres with secure compilers
M Patrignani, M Guarnieri
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
Mandates: Government of Spain, Federal Ministry of Education and Research, Germany
Fully abstract trace semantics for protected module architectures
M Patrignani, D Clarke
Computer Languages, Systems & Structures 42, 22-45, 2015
Mandates: Research Foundation (Flanders)
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
Mandates: US Department of Defense, European Commission, Federal Ministry of Education …
Parametricity versus the universal type
D Devriese, M Patrignani, F Piessens
Proceedings of the ACM on Programming Languages 2 (POPL), 1-23, 2017
Mandates: Research Foundation (Flanders), Federal Ministry of Education and Research …
Modular, fully-abstract compilation by approximate back-translation
D Devriese, M Patrignani, F Piessens, S Keuchel
Logical methods in computer science 13, 2017
Mandates: Research Foundation (Flanders)
Secure compilation of Object-Oriented components to protected module architectures
M Patrignani, D Clarke, F Piessens
APLAS 2013, 176-191, 2013
Mandates: Research Foundation (Flanders)
Automatic detection of speculative execution combinations
X Fabian, M Guarnieri, M Patrignani
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
Mandates: Government of Spain, Federal Ministry of Education and Research, Germany …
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
Mandates: US National Science Foundation, US Department of Defense, Federal Ministry …
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
Mandates: Research Foundation (Flanders), Federal Ministry of Education and Research …
Modular information flow through ownership
W Crichton, M Patrignani, M Agrawala, P Hanrahan
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
Mandates: Government of Italy
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
Mandates: US Department of Defense, Research Foundation (Flanders), Federal Ministry …
Universal composability is robust compilation
M Patrignani, R Künnemann, RS Wahby
arXiv preprint arXiv:1910.08634, 2019
Mandates: Federal Ministry of Education and Research, Germany, Government of Italy
Robust safety for move
M Patrignani, S Blackshear
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 308-323, 2023
Mandates: US Department of Defense
Publication and funding information is determined automatically by a computer program