Bart van Delft
Bart van Delft
Unknown affiliation
No verified email
TitleCited byYear
Paragon for practical programming with information-flow control
N Broberg, B van Delft, D Sands
Asian Symposium on Programming Languages and Systems, 217-232, 2013
542013
A security analysis of OpenID
B Van Delft, M Oostdijk
IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010
402010
The anatomy and facets of dynamic policies
N Broberg, B van Delft, D Sands
2015 IEEE 28th Computer Security Foundations Symposium, 122-136, 2015
202015
Very static enforcement of dynamic policies
B van Delft, S Hunt, D Sands
International Conference on Principles of Security and Trust, 32-52, 2015
172015
Abstraction, objects and information flow analysis
B van Delft
Master’s thesis, Institute for Computing and Information Science, Radboud …, 2011
82011
Dynamic enforcement of dynamic policies
P Buiras, B van Delft
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis …, 2015
52015
A datalog semantics for paralocks
B van Delft, N Broberg, D Sands
International Workshop on Security and Trust Management, 305-320, 2012
42012
Paragon–Practical programming with information flow control
N Broberg, B van Delft, D Sands
Journal of Computer Security 25 (4-5), 323-365, 2017
32017
Dependency-based information flow analysis with declassification in a program logic
B van Delft, R Bubel
arXiv preprint arXiv:1509.04153, 2015
32015
Programming in Paragon.
B van DELFT, N Broberg, D Sands
Software Systems Safety, 279-308, 2014
22014
Biometric authentication-a heartbeat away
P Hoekerd, BV Delft
12008
Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement
B Van Delft
Chalmers University of Technology, 2016
2016
Paragon: Programming with Information Flow Control
N Broberg, B van Delft, D Sands
Proceedings of the Ninth Workshop on Programming Languages and Analysis for …, 2014
2014
A Policy Semantics and a Programming Language for Securing Software
B Van Delft
Chalmers University of Technology and Göteborg University, 2014
2014
Value sensitivity in information flow analysis
B van Delft
Nordic Workshop on Programming Theory, 2011
2011
Non-determinism in XML content models
B van Delft, R Krebbers
2009
Attacking an AI classifier in a realistic context
B Delft
2009
Paragon for Practical Flow-Oriented Programming
N Broberg, D Sands, B van Delft
Treating Security as an Aspect in Networked Environments
B van Delft, J de Muijnck-Hughes
Formalizing the Blame Calculus
B van Delft
The system can't perform the operation now. Try again later.
Articles 1–20