Seguir
Frank Piessens
Frank Piessens
Professor of Computer Science, Katholieke Universiteit Leuven
Dirección de correo verificada de cs.kuleuven.be - Página principal
Título
Citado por
Citado por
Año
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
8442018
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
5492013
Key reinstallation attacks: Forcing nonce reuse in WPA2
M Vanhoef, F Piessens
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
3922017
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
3892013
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
3852011
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
3422012
Noninterference through secure multi-execution
D Devriese, F Piessens
2010 IEEE Symposium on Security and Privacy, 109-124, 2010
3272010
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
2672019
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
2572013
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
2152017
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
2152016
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
2052009
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
1982012
Implicit dynamic frames: Combining dynamic frames and separation logic
J Smans, B Jacobs, F Piessens
European Conference on Object-Oriented Programming, 148-172, 2009
1772009
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
1702020
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, ...
1692018
A quick tour of the VeriFast program verifier
B Jacobs, J Smans, F Piessens
Asian Symposium on Programming Languages And Systems, 304-311, 2010
1672010
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
1622013
The VeriFast program verifier
B Jacobs, F Piessens
Technical Report CW-520, Department of Computer Science, Katholieke …, 2008
1592008
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
1502019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20