| Noninterference through secure multi-execution D Devriese, F Piessens 2010 IEEE Symposium on Security and Privacy, 109-124, 2010 | 343 | 2010 |
| FlowFox: a web browser with flexible and precise information flow control W De Groef, D Devriese, N Nikiforakis, F Piessens Proceedings of the 2012 ACM conference on Computer and communications …, 2012 | 205 | 2012 |
| On the bright side of type classes: instance arguments in Agda D Devriese, F Piessens ACM SIGPLAN Notices 46 (9), 143-155, 2011 | 86 | 2011 |
| Reactive non-interference for a browser model N Bielova, D Devriese, F Massacci, F Piessens 2011 5th International Conference on Network and System Security, 97-104, 2011 | 67 | 2011 |
| Reasoning about object capabilities with logical relations and effect parametricity D Devriese, L Birkedal, F Piessens 2016 IEEE European Symposium on Security and Privacy (EuroS&P), 147-162, 2016 | 64* | 2016 |
| 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 | 57 | 2016 |
| Parametric quantifiers for dependent type theory A Nuyts, A Vezzosi, D Devriese Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 50 | 2017 |
| Pattern matching without K J Cockx, D Devriese, F Piessens Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 49 | 2014 |
| Stateful declassification policies for event-driven programs M Vanhoef, W De Groef, D Devriese, F Piessens, T Rezk 2014 IEEE 27th Computer Security Foundations Symposium, 293-307, 2014 | 48 | 2014 |
| Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management L Skorstengaard, D Devriese, L Birkedal European Symposium on Programming, 475-501, 2018 | 43 | 2018 |
| Monadic abstract interpreters I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ... Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 43 | 2013 |
| Secure multi-execution through static program transformation G Barthe, JM Crespo, D Devriese, F Piessens, E Rivas Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 …, 2012 | 43 | 2012 |
| StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities L Skorstengaard, D Devriese, L Birkedal Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 42 | 2019 |
| On modular and fully-abstract compilation M Patrignani, D Devriese, F Piessens 2016 IEEE 29th Computer Security Foundations Symposium (CSF), 17-30, 2016 | 39 | 2016 |
| Information flow enforcement in monadic libraries D Devriese, F Piessens Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and …, 2011 | 39 | 2011 |
| Multi-tier functional reactive programming for the web B Reynders, D Devriese, F Piessens Proceedings of the 2014 ACM International Symposium on New Ideas, New …, 2014 | 37 | 2014 |
| Degrees of relatedness: A unified framework for parametricity, irrelevance, ad hoc polymorphism, intersections, unions and algebra in dependent type theory A Nuyts, D Devriese Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 36 | 2018 |
| Secure multi-execution of web scripts: Theory and practice W De Groef, D Devriese, N Nikiforakis, F Piessens Journal of Computer Security 22 (4), 469-509, 2014 | 30 | 2014 |
| Efficient and provable local capability revocation using uninitialized capabilities AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ... Proceedings of the ACM on Programming Languages 5, 2021 | 26 | 2021 |
| 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 2017, 1-14, 2017 | 26 | 2017 |
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
