Frank Piessens
Frank Piessens
Professor of Computer Science, Katholieke Universiteit Leuven
Email verificata su cs.kuleuven.be - Home page
Titolo
Citata da
Citata da
Anno
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
4462013
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
4332018
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
3092013
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
3062011
Noninterference through secure multi-execution
D Devriese, F Piessens
2010 IEEE Symposium on Security and Privacy, 109-124, 2010
2942010
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
2742012
Key reinstallation attacks: Forcing nonce reuse in WPA2
M Vanhoef, F Piessens
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communicationsá…, 2017
2612017
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
1992013
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
1862009
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
1672012
Implicit dynamic frames: Combining dynamic frames and separation logic
J Smans, B Jacobs, F Piessens
European Conference on Object-Oriented Programming, 148-172, 2009
1612009
A quick tour of the VeriFast program verifier
B Jacobs, J Smans, F Piessens
Asian Symposium on Programming Languages And Systems, 304-311, 2010
1452010
The VeriFast program verifier
B Jacobs, F Piessens
CW Reports, 2008
1442008
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
1422016
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
1372017
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
1232019
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
1232013
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
1112012
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
1072015
Expressive modular fine-grained concurrency specification
B Jacobs, F Piessens
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles ofá…, 2011
1042011
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20