Bart van Delft

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Relational Query Languages

Dynamically Changing

Practical Problems

Top Venues

Publications

Niklas Broberg, Bart van Delft, David Sands
Paragon - Practical programming with information flow control. J. Comput. Secur. 25 (4-5) (2017)
Bart van Delft, Sebastian Hunt, David Sands
Very Static Enforcement of Dynamic Policies. CoRR (2015)
Niklas Broberg, Bart van Delft, David Sands
The Anatomy and Facets of Dynamic Policies. CSF (2015)
Bart van Delft, Richard Bubel
Dependency-Based Information Flow Analysis with Declassification in a Program Logic. CoRR (2015)
Niklas Broberg, Bart van Delft, David Sands
The Anatomy and Facets of Dynamic Policies. CoRR (2015)
Bart van Delft, Sebastian Hunt, David Sands
Very Static Enforcement of Dynamic Policies. POST (2015)
Pablo Buiras, Bart van Delft
Dynamic Enforcement of Dynamic Policies. PLAS@ECOOP (2015)
Niklas Broberg, Bart van Delft, David Sands
Paragon: Programming with Information Flow Control (Demo). PLAS@ECOOP (2014)
Niklas Broberg, Bart van Delft, David Sands
Paragon for Practical Programming with Information-Flow Control. APLAS (2013)
Bart van Delft, Niklas Broberg, David Sands
A Datalog Semantics for Paralocks. STM (2012)
Bart van Delft, Martijn Oostdijk
A Security Analysis of OpenID. IDMAN (2010)