A Security Analysis of OpenID. - Bart van Delft; Martijn Oostdijk (IDMAN, 2010)

A Datalog Semantics for Paralocks. - Bart van Delft; Niklas Broberg; David Sands 001 (STM, 2012)

Paragon: Programming with Information Flow Control (Demo). - Niklas Broberg; Bart van Delft; David Sands 001 (PLAS@ECOOP, 2014)

Programming in Paragon. - Bart van Delft; Niklas Broberg; David Sands 001 (Software Systems Safety, 2014)

The Anatomy and Facets of Dynamic Policies. - Niklas Broberg; Bart van Delft; David Sands 001 (CSF, 2015)

Dynamic Enforcement of Dynamic Policies. - Pablo Buiras; Bart van Delft (PLAS@ECOOP, 2015)

Very Static Enforcement of Dynamic Policies. - Bart van Delft; Sebastian Hunt; David Sands 001 (POST, 2015)

Dependency-Based Information Flow Analysis with Declassification in a Program Logic. - Bart van Delft; Richard Bubel (CoRR, 2015)

Paragon - Practical programming with information flow control. - Niklas Broberg; Bart van Delft; David Sands 001 (J. Comput. Secur., 2017)