| 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 | 838 | 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 | 549 | 2013 |
| Key reinstallation attacks: Forcing nonce reuse in WPA2 M Vanhoef, F Piessens Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 389 | 2017 |
| 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 | 389 | 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 | 383 | 2011 |
| 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 | 342 | 2012 |
| Noninterference through secure multi-execution D Devriese, F Piessens 2010 IEEE Symposium on Security and Privacy, 109-124, 2010 | 327 | 2010 |
| 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 | 264 | 2019 |
| 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 | 257 | 2013 |
| 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 | 215 | 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 | 215 | 2016 |
| 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 | 205 | 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 | 198 | 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 | 177 | 2009 |
| Plundervolt: Software-based fault injection attacks against Intel SGX K Murdock, D Oswald, FD Garcia, J Van Bulck, D Gruss, F Piessens 2020 IEEE Symposium on Security and Privacy (SP), 1466-1482, 2020 | 169 | 2020 |
| 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, ... | 169 | 2018 |
| A quick tour of the VeriFast program verifier B Jacobs, J Smans, F Piessens Asian Symposium on Programming Languages And Systems, 304-311, 2010 | 167 | 2010 |
| 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 | 161 | 2013 |
| The VeriFast program verifier B Jacobs, F Piessens Technical Report CW-520, Department of Computer Science, Katholieke …, 2008 | 159 | 2008 |
| Fallout: Leaking data on meltdown-resistant cpus C Canella, D Genkin, L Giner, D Gruss, M Lipp, M Minkin, D Moghimi, ... Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 149 | 2019 |
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
