Bart van Delft

According to our database, Bart van Delft authored at least 9 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Paragon - Practical programming with information flow control.

Niklas Broberg, Bart van Delft, David Sands

J. Comput. Secur., 2017

2015

Dependency-Based Information Flow Analysis with Declassification in a Program Logic.

Bart van Delft, Richard Bubel

CoRR, 2015

Very Static Enforcement of Dynamic Policies.

Bart van Delft, Sebastian Hunt, David Sands

Proceedings of the Principles of Security and Trust - 4th International Conference, 2015

Dynamic Enforcement of Dynamic Policies.

Pablo Buiras, Bart van Delft

Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015

The Anatomy and Facets of Dynamic Policies.

Niklas Broberg, Bart van Delft, David Sands

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Programming in Paragon.

Bart van Delft, Niklas Broberg, David Sands

Proceedings of the Software Systems Safety, 2014

Paragon: Programming with Information Flow Control (Demo).

Niklas Broberg, Bart van Delft, David Sands

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2012

A Datalog Semantics for Paralocks.

Bart van Delft, Niklas Broberg, David Sands

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

2010

A Security Analysis of OpenID.

Bart van Delft, Martijn Oostdijk

Proceedings of the Policies and Research in Identity Management, 2010