Dries Vanoverberghe

14 papers A 1B 3Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2015 J jnl
Policy ignorant caller-side inline reference monitoring.
Int. J. Softw. Tools Technol. Transf.
Dries Vanoverberghe, Frank Piessens
2014 J jnl
Evolution of Security Engineering Artifacts: A State of the Art Survey.
Int. J. Secur. Softw. Eng.
Michael Felderer, Basel Katt, Philipp Kalb, Jan Jürjens, Martín Ochoa, Federica Paci, Le Minh Sang Tran, Thein Than Tun, Koen Yskout, Riccardo Scandariato, Frank Piessens, Dries Vanoverberghe, Elizabeta Fourneret, Matthias Gander, Bjørnar Solhaug, Ruth Breu
2013 B conf
State Coverage: An Empirical Analysis Based on a User Study.
SOFSEM
Dries Vanoverberghe, Emma Eyckmans, Frank Piessens
2012 B conf
State Coverage: Software Validation Metrics beyond Code Coverage.
SOFSEM
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens
2011 B conf
Theoretical Aspects of Compositional Symbolic Execution.
FASE
Dries Vanoverberghe, Frank Piessens
2009 — conf
A Security Architecture for Web 2.0 Applications.
Future Internet Assembly
Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe
2009 J jnl
Security enforcement aware software development.
Inf. Softw. Technol.
Dries Vanoverberghe, Frank Piessens
2009 A conf
Test Input Generation for Programs with Pointers.
TACAS
Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens
2009 — conf
The S3MS.NET Run Time Monitor: Tool Demonstration.
BYTECODE@ETAPS
Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
2008 — conf
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.
FMOODS
Dries Vanoverberghe, Frank Piessens
2008 J jnl
Security-by-contract on the .NET platform.
Inf. Secur. Tech. Rep.
Lieven Desmet, Wouter Joosen, Fabio Massacci, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe
2008 — conf
Using Dynamic Symbolic Execution to Improve Deductive Verification.
SPIN
Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann
2007 — conf
A flexible security architecture to support third-party applications on mobile devices.
CSAW
Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
2007 — conf
Supporting Security Monitor-Aware Development.
SESS@ICSE
Dries Vanoverberghe, Frank Piessens