Bart van Delft

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