Follow
Bart van Delft
Bart van Delft
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
Paragon for practical programming with information-flow control
N Broberg, B van Delft, D Sands
Programming Languages and Systems: 11th Asian Symposium, APLAS 2013 …, 2013
822013
A security analysis of OpenID
B Van Delft, M Oostdijk
IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010
522010
The anatomy and facets of dynamic policies
N Broberg, B van Delft, D Sands
2015 IEEE 28th Computer Security Foundations Symposium, 122-136, 2015
332015
Very static enforcement of dynamic policies
B van Delft, S Hunt, D Sands
Principles of Security and Trust: 4th International Conference, POST 2015 …, 2015
332015
Paragon–Practical programming with information flow control
N Broberg, B van Delft, D Sands
Journal of Computer Security 25 (4-5), 323-365, 2017
182017
Dynamic enforcement of dynamic policies
P Buiras, B van Delft
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis …, 2015
92015
Abstraction, objects and information flow analysis
B van Delft
Master’s thesis, Institute for Computing and Information Science, Radboud …, 2011
92011
A datalog semantics for paralocks
B van Delft, N Broberg, D Sands
Security and Trust Management: 8th International Workshop, STM 2012, Pisa …, 2013
62013
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
Paragon for practical flow-oriented programming
N Broberg, D Sands, B van Delft
Draft, July, 23, 2011
22011
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
Search using SolR syntax
E De Leeuw, S Fischer-Hübner, L Fritsch, P Bichsel, J Camenisch, ...
Policy 113, 129, 0
Service interruption on Monday 11 July from 12: 30 to 13: 00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware …
E De Leeuw, S Fischer-Hübner, L Fritsch, P Bichsel, J Camenisch, ...
Policy 113, 129, 0
The system can't perform the operation now. Try again later.
Articles 1–20