Bart van Delft

Publikationer (10)
Projekt (0)

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

2016

Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement

Bart van Delft

Doktorsavhandling

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 i proceeding

2015

The Anatomy and Facets of Dynamic Policies

Niklas Broberg, Bart van Delft, David Sands

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

Paper i proceeding

2015

Dynamic Enforcement of Dynamic Policies

Pablo Buiras, Bart van Delft

PLAS 2015, p. 28-41

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

A Policy Semantics and a Programming Language for Securing Software

Bart van Delft

Licentiatavhandling

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

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

Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.