Dries Vanoverberghe

According to our database, Dries Vanoverberghe authored at least 14 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Policy ignorant caller-side inline reference monitoring.

Dries Vanoverberghe, Frank Piessens

Int. J. Softw. Tools Technol. Transf., 2015

2014

Evolution of Security Engineering Artifacts: A State of the Art Survey.

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

Int. J. Secur. Softw. Eng., 2014

2013

State Coverage: An Empirical Analysis Based on a User Study.

Dries Vanoverberghe, Emma Eyckmans, Frank Piessens

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

2012

State Coverage: Software Validation Metrics beyond Code Coverage.

Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

2011

Theoretical Aspects of Compositional Symbolic Execution.

Dries Vanoverberghe, Frank Piessens

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2009

Security enforcement aware software development.

Dries Vanoverberghe, Frank Piessens

Inf. Softw. Technol., 2009

The S3MS.NET Run Time Monitor: Tool Demonstration.

Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

Test Input Generation for Programs with Pointers.

Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

A Security Architecture for Web 2.0 Applications.

Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe

Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

2008

Security-by-contract on the .NET platform.

Lieven Desmet, Wouter Joosen, Fabio Massacci, Pieter Philippaerts, Frank Piessens, Ida Sri Rejeki Siahaan, Dries Vanoverberghe

Inf. Secur. Tech. Rep., 2008

Using Dynamic Symbolic Execution to Improve Deductive Verification.

Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann

Proceedings of the Model Checking Software, 2008

A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.

Dries Vanoverberghe, Frank Piessens

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

2007

Supporting Security Monitor-Aware Development.

Dries Vanoverberghe, Frank Piessens

Proceedings of the Third International Workshop on Software Engineering for Secure Systems, 2007

A flexible security architecture to support third-party applications on mobile devices.

Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe

Proceedings of the 2007 ACM workshop on Computer Security Architecture, 2007