Sotabase

Career

· Professor Of Soil Mechanics, TU Delft

Publications (193)

Cyclone: A Safe Dialect of C
USENIX ATC, General Track · 2002
890
cited
Evaluating Fuzz Testing
Conference on Computer and Communications Security · 2018
717
cited
Region-based memory management in cyclone
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2002
443
cited
Automated detection of persistent kernel control-flow attacks
Conference on Computer and Communications Security · 2007
342
cited
Understanding source code evolution using abstract syntax tree matching
IEEE Working Conference on Mining Software Repositories · 2005
315
cited
Deanonymizing mobility traces: using social network as a side-channel
Conference on Computer and Communications Security · 2012
272
cited
LOCKSMITH: context-sensitive correlation analysis for race detection
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2006
261
cited
Directed Symbolic Execution
Sensors Applications Symposium · 2011
243
cited
Practical dynamic software updating for C
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2006
227
cited
Dynamic software updates: a VM-centric approach
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2009
200
cited
GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation
International Conference on Architectural Support for Programming Languages and Operating Systems · 2015
190
cited
Static type inference for Ruby
ACM Symposium on Applied Computing · 2009
179
cited
Mutatis mutandis: safe and predictable dynamic software updating
ACM-SIGACT Symposium on Principles of Programming Languages · 2005
158
cited
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations
IEEE Symposium on Security and Privacy · 2014
152
cited
A verified optimizer for Quantum circuits
Proc. ACM Program. Lang. · 2019
137
cited
LOCKSMITH: Practical static race detection for C
TOPL · 2011
122
cited
Kitsune: efficient, general-purpose dynamic software updating for C
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2012
110
cited
Automating Efficient RAM-Model Secure Computation
IEEE Symposium on Security and Privacy · 2014
108
cited
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em
International Conferences on Information Science and System · 2008
107
cited
Decomposition instead of self-composition for proving the absence of timing channels
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2017
101
cited
Sotabase