| Foreshadow: Extracting the keys to the intel {SGX} kingdom with transient out-of-order execution J Van Bulck, M Minkin, O Weisse, D Genkin, B Kasikci, F Piessens, ... 27th {USENIX} Security Symposium ({USENIX} Security 18), 991–1008, 2018 | 547 | 2018 |
| Cookieless monster: Exploring the ecosystem of web-based device fingerprinting N Nikiforakis, A Kapravelos, W Joosen, C Kruegel, F Piessens, G Vigna 2013 IEEE Symposium on Security and Privacy, 541-555, 2013 | 478 | 2013 |
| FPDetective: dusting the web for fingerprinters G Acar, M Juarez, N Nikiforakis, C Diaz, S Gürses, F Piessens, B Preneel Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013 | 337 | 2013 |
| VeriFast: A powerful, sound, predictable, fast verifier for C and Java B Jacobs, J Smans, P Philippaerts, F Vogels, W Penninckx, F Piessens NASA formal methods symposium, 41-55, 2011 | 326 | 2011 |
| Noninterference through secure multi-execution D Devriese, F Piessens 2010 IEEE Symposium on Security and Privacy, 109-124, 2010 | 307 | 2010 |
| You are what you include: large-scale evaluation of remote javascript inclusions N Nikiforakis, L Invernizzi, A Kapravelos, S Van Acker, W Joosen, ... Proceedings of the 2012 ACM conference on Computer and communications …, 2012 | 296 | 2012 |
| Key reinstallation attacks: Forcing nonce reuse in WPA2 M Vanhoef, F Piessens Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 291 | 2017 |
| Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base J Noorman, P Agten, W Daniels, R Strackx, A Van Herrewege, C Huygens, ... 22nd {USENIX} Security Symposium ({USENIX} Security 13), 479-498, 2013 | 213 | 2013 |
| Breaking the memory secrecy assumption R Strackx, Y Younan, P Philippaerts, F Piessens, S Lachmund, T Walter Proceedings of the Second European Workshop on System Security, 1-8, 2009 | 196 | 2009 |
| 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 | 179 | 2012 |
| Implicit dynamic frames: Combining dynamic frames and separation logic J Smans, B Jacobs, F Piessens European Conference on Object-Oriented Programming, 148-172, 2009 | 169 | 2009 |
| Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution J Van Bulck, N Weichbrodt, R Kapitza, F Piessens, R Strackx 26th {USENIX} Security Symposium ({USENIX} Security 17), 1041-1056, 2017 | 165 | 2017 |
| Why MAC address randomization is not enough: An analysis of Wi-Fi network discovery mechanisms M Vanhoef, C Matte, M Cunche, LS Cardoso, F Piessens Proceedings of the 11th ACM on Asia conference on computer and …, 2016 | 156 | 2016 |
| A quick tour of the VeriFast program verifier B Jacobs, J Smans, F Piessens Asian Symposium on Programming Languages And Systems, 304-311, 2010 | 149 | 2010 |
| The VeriFast program verifier B Jacobs, F Piessens Technical Report CW-520, Department of Computer Science, Katholieke …, 2008 | 149 | 2008 |
| A systematic evaluation of transient execution attacks and defenses C Canella, J Van Bulck, M Schwarz, M Lipp, B Von Berg, P Ortner, ... 28th {USENIX} Security Symposium ({USENIX} Security 19), 249-266, 2019 | 146 | 2019 |
| Taming compiler fuzzers Y Chen, A Groce, C Zhang, WK Wong, X Fern, E Eide, J Regehr ACM SIGPLAN Notices 48 (6), 197-208, 2013 | 137 | 2013 |
| Seven months' worth of mistakes: A longitudinal study of typosquatting abuse P Agten, W Joosen, F Piessens, N Nikiforakis Proceedings of the 22nd Network and Distributed System Security Symposium …, 2015 | 124 | 2015 |
| Foreshadow-NG: Breaking the virtual memory abstraction with transient out-of-order execution O Weisse, J Van Bulck, M Minkin, D Genkin, B Kasikci, F Piessens, ... | 119 | 2018 |
| Fides: Selectively hardening software application components against kernel-level or process-level malware R Strackx, F Piessens Proceedings of the 2012 ACM conference on Computer and communications …, 2012 | 112 | 2012 |
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
