Dries Vanoverberghe

Using Dynamic Symbolic Execution to Improve Deductive Verification

Nikolaj Bjørner, Nikolai Tillmann, Jonathan de Halleux, 2008, SPIN.

Policy ignorant caller-side inline reference monitoring

F. Piessens, Dries Vanoverberghe, 2015, International Journal on Software Tools for Technology Transfer.

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

Frank Piessens, Dries Vanoverberghe, F. Piessens, 2008, FMOODS.

A caller-side inline reference monitor for object-oriented intermediate language: extended version

Frank Piessens, Dries Vanoverberghe, F. Piessens, 2008 .

Policy ignorant caller-side inline reference monitoring

Frank Piessens, Dries Vanoverberghe, F. Piessens, 2014, International Journal on Software Tools for Technology Transfer.

The S3MS.NET Run Time Monitor: Tool Demonstration

Wouter Joosen, Frank Piessens, Fabio Massacci, 2009, Electron. Notes Theor. Comput. Sci..

Security-by-contract on the .NET platform

Wouter Joosen, Frank Piessens, Fabio Massacci, 2008, Inf. Secur. Tech. Rep..

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

Ruth Breu, Koen Yskout, Riccardo Scandariato, 2014, Int. J. Secur. Softw. Eng..

Using Dynamic Symbolic Execution to Improve Deductive Verification

Nikolaj Bjørner, Nikolai Tillmann, Jonathan de Halleux, 2008, SPIN.

Supporting Security Monitor-Aware Development

Frank Piessens, Dries Vanoverberghe, Dries Vanoverberghe, 2007, Third International Workshop on Software Engineering for Secure Systems (SESS'07: ICSE Workshops 2007).

Security enforcement aware software development

Frank Piessens, Dries Vanoverberghe, Dries Vanoverberghe, 2009, Inf. Softw. Technol..

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

Wouter Joosen, Frank Piessens, Fabio Massacci, 2007, CSAW '07.

A Security Architecture for Web 2.0 Applications

Wouter Joosen, Frank Piessens, Fabio Massacci, 2009, Future Internet Assembly.