Dries Vanoverberghe

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Security Systems

Software Quality

Literature Review

Top Venues

Int. J. Softw. Tools Technol. Transf.

Int. J. Secur. Softw. Eng.

Publications

Dries Vanoverberghe, Frank Piessens
Policy ignorant caller-side inline reference monitoring. Int. J. Softw. Tools Technol. Transf. 17 (3) (2015)
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
Evolution of Security Engineering Artifacts: A State of the Art Survey. Int. J. Secur. Softw. Eng. 5 (4) (2014)
Dries Vanoverberghe, Emma Eyckmans, Frank Piessens
State Coverage: An Empirical Analysis Based on a User Study. SOFSEM (2013)
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens
State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM (2012)
Dries Vanoverberghe, Frank Piessens
Theoretical Aspects of Compositional Symbolic Execution. FASE (2011)
Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe
A Security Architecture for Web 2.0 Applications. Future Internet Assembly (2009)
Dries Vanoverberghe, Frank Piessens
Security enforcement aware software development. Inf. Softw. Technol. 51 (7) (2009)
Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens
Test Input Generation for Programs with Pointers. TACAS (2009)
Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
The S3MS.NET Run Time Monitor: Tool Demonstration. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann
Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN (2008)
Dries Vanoverberghe, Frank Piessens
A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. FMOODS (2008)
Lieven Desmet, Wouter Joosen, Fabio Massacci, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe
Security-by-contract on the .NET platform. Inf. Secur. Tech. Rep. 13 (1) (2008)
Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe
A flexible security architecture to support third-party applications on mobile devices. CSAW (2007)
Dries Vanoverberghe, Frank Piessens
Supporting Security Monitor-Aware Development. SESS@ICSE (2007)