Bart van Delft

Showing 10 publications

2017

Paragon - Practical programming with information flow control

Niklas Broberg, Bart van Delft, David Sands
Journal of Computer Security. Vol. 25 (4-5), p. 323-365
Journal article
2015

Very static enforcement of dynamic policies

Bart van Delft, Sebastian Hunt, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9036, p. 32-52
Paper in proceedings
2015

Dynamic Enforcement of Dynamic Policies

Pablo Buiras, Bart van Delft
PLAS 2015, p. 28-41
Paper in proceedings
2015

The Anatomy and Facets of Dynamic Policies

Niklas Broberg, Bart van Delft, David Sands
28th IEEE Computer Security Foundations Symposium (CSF), July 13-17, 2015, Verona, Italy, p. 122-136
Paper in proceedings
2014

Paragon: Programming with information flow control (demo)

Niklas Broberg, Bart van Delft, David Sands
9th Workshop on Programming Languages and Analysis for Security, PLAS 2014; Uppsala; Sweden; 28 July 2014 through 1 August 2014, p. 79-80
Paper in proceedings
2014

Dynamic enforcement of dynamic policies

Pablo Buiras, Bart van Delft
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8788, p. 275-276
Paper in proceedings
2013

A Datalog Semantics for Paralocks

Bart van Delft, Niklas Broberg, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7783, p. 305-320
Paper in proceedings
2013

Paragon for Practical Programming with Information-Flow Control

Niklas Broberg, Bart van Delft, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8301, p. 217-232
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Bart van Delft participates, but you have to be logged in as a Chalmers employee to see them.