Dries Vanoverberghe
Who am I?
I am a PhD student at the Department of Computer Science of the Katholieke Universiteit Leuven, Belgium. I am a member of the Security and Programming Languages Task Force of the DistriNet Research Group. My promotor is Frank Piessens.
From September 2006 to October 2007, I have been working on the S3MS Project. Amongst others, I created a program rewriter to enforce security policies on untrusted .NET Applications.
Since October 2007, I am a Research Assistant of the Fund for Scientific Research - Flanders (Belgium) ( F.W.O. - Vlaanderen).
In 2008, I visited Microsoft Research where I worked on Pex.
Research interests:
My current research interests are automatic program analysis, verification and testing.
Key publications:
- Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens, Test input generation for programs with pointers, Tools and Algorithms for the Construction and Analysis of Systems, volume 5505/2009, pages 277-291, York, UK, 22-29 March 2009
- Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann, Using dynamic symbolic execution to improve deductive verification, International SPIN Workshop on Model Checking of Software, Lecture Notes in Computer Science, volume 5156/2008, pages 9-25, Los Angeles, USA, 10-12 August 2008
- Dries Vanoverberghe, Frank Piessens, A caller-side inline reference monitor for an Object-Oriented intermediate language, Formal Methods for Open Object-based Distributed Systems, Lecture Notes in Computer Science, volume 5051/2008, pages 240-258, Oslo, Norway, 4-6 June 2008
- Dries Vanoverberghe, Frank Piessens, A caller-side inline reference monitor for object-oriented intermediate language: extended version, Technical Report (CW Reports), volume CW512, Department of Computer Science, K.U.Leuven, March 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, Proceedings of the 2007 ACM workshop on Computer security architecture, pages 19-28, Fairfax, Virginia, USA, November 2, 2007
