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 | 114 | 2015 |
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 | 97* | 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 | 95 | 2019 |
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 | 62* | 2016 |
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 | 60 | 2020 |
Secure compilation and hyperproperty preservation M Patrignani, D Garg 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 392-404, 2017 | 53 | 2017 |
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 modular and fully-abstract compilation M Patrignani, D Devriese, F Piessens 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016 | 42 | 2016 |
Exorcising spectres with secure compilers M Patrignani, M Guarnieri Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 37 | 2021 |
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 | 36* | 2021 |
Fully abstract trace semantics for protected module architectures M Patrignani, D Clarke Computer Languages, Systems & Structures 42, 22-45, 2015 | 36 | 2015 |
Parametricity versus the universal type D Devriese, M Patrignani, F Piessens Proceedings of the ACM on Programming Languages 2 (POPL), 1-23, 2017 | 29 | 2017 |
Modular, fully-abstract compilation by approximate back-translation D Devriese, M Patrignani, F Piessens, S Keuchel Logical methods in computer science 13, 2017 | 28 | 2017 |
Secure compilation of Object-Oriented components to protected module architectures M Patrignani, D Clarke, F Piessens APLAS 2013, 176-191, 2013 | 28 | 2013 |
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, 1-14, 2017 | 27 | 2017 |
Automatic detection of speculative execution combinations X Fabian, M Guarnieri, M Patrignani Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 21 | 2022 |
Fully abstract trace semantics for low-level isolation mechanisms M Patrignani, D Clarke SAC 2015, 2013 | 21 | 2013 |
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 | 20 | 2023 |
The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures M Patrignani PhD thesis, KU Leuven, Leuven, Belgium, 2015 | 19 | 2015 |
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 | 18 | 2021 |