Bart van Delft

Visar 10 publikationer

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
Artikel i vetenskaplig tidskrift
2015

Very static enforcement of dynamic policies

Bart van Delft, Sebastian Hunt, David Sands
Lecture Notes in Computer Science. Vol. 9036, p. 32-52
Paper i proceeding
2015

Dynamic Enforcement of Dynamic Policies

Pablo Buiras, Bart van Delft
PLAS 2015, p. 28-41
Paper i proceeding
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 i 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 i proceeding
2014

Dynamic enforcement of dynamic policies

Pablo Buiras, Bart van Delft
Lecture Notes in Computer Science. Vol. 8788, p. 275-276
Paper i proceeding
2013

A Datalog Semantics for Paralocks

Bart van Delft, Niklas Broberg, David Sands
Lecture Notes in Computer Science. Vol. 7783, p. 305-320
Paper i proceeding
2013

Paragon for Practical Programming with Information-Flow Control

Niklas Broberg, Bart van Delft, David Sands
Lecture Notes in Computer Science. Vol. 8301, p. 217-232
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Bart van Delft medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.