Bart van Delft

Publications (10)
Projects (0)

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

2016

Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement

Bart van Delft

Doctoral thesis

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 proceeding

2015

The Anatomy and Facets of Dynamic Policies

Niklas Broberg, Bart van Delft, David Sands

Proceedings. The Computer Security Foundations Workshop III. Vol. 2015-September, p. 122-136

Paper in proceeding

2015

Dynamic Enforcement of Dynamic Policies

Pablo Buiras, Bart van Delft

PLAS 2015, p. 28-41

Paper in proceeding

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 proceeding

2014

A Policy Semantics and a Programming Language for Securing Software

Bart van Delft

Licentiate thesis

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 proceeding

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 LNCS, p. 217-232

Paper in proceeding

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 LNCS, p. 305-320

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.