MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dries Vanoverberghe" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • support static detection of bugs in  
  • by Lieven Desmet, Bart Jacobs, Frank Piessens, Wolfram Schulte, Dries Vanoverberghe
  • …Concern-specific annotation languages to…
  • Add To MetaCart
  • A Flexible Security Architecture to Support Third-party Applications on Mobile Devices  
  • by Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe — 2007 — CSAW'07
  • …The problem of supporting the secure execution of potentially malicious third-party applications has received a considerable amount of attention in the past decade. In this paper we describe a security architecture for mobile devices that supports the flexible integration of a variety of advanced te…
  • Cited by 1 (0 self) – Add To MetaCart
  • Using Dynamic Symbolic Execution to Improve Deductive Verification  
  • by Dries Vanoverberghe, Nikolaj Bjørner, Jonathan De Halleux, Wolfram Schulte, Nikolai Tillmann
  • …Abstract. One of the most challenging problems in deductive program verification is to find inductive program invariants typically expressed using quantifiers. With strong-enough invariants, existing provers can often prove that a program satisfies its specification. However, provers by themselves d…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB