| 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 | 115 | 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 | 101* | 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 | 97 | 2019 |
| 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 | 63 | 2020 |
| 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 | 63* | 2016 |
| 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 | 52* | 2021 |
| Exorcising spectres with secure compilers M Patrignani, M Guarnieri Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 43 | 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 |
| 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 | 39* | 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 |
| 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 | 26 | 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 | 26 | 2022 |
| Fully abstract trace semantics for low-level isolation mechanisms M Patrignani, D Clarke SAC 2015, 2013 | 21 | 2013 |
| 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 | 19 | 2021 |
| Why should anyone use colours? or, syntax highlighting beyond code snippets M Patrignani arXiv preprint arXiv:2001.11334, 2020 | 19* | 2020 |
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
