Bart van Delft
Bart van Delft
Unknown affiliation
No verified email
Cited by
Cited by
Paragon for practical programming with information-flow control
N Broberg, B Delft, D Sands
Asian Symposium on Programming Languages and Systems, 217-232, 2013
A security analysis of OpenID
B Delft, M Oostdijk
IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010
The anatomy and facets of dynamic policies
N Broberg, B van Delft, D Sands
2015 IEEE 28th Computer Security Foundations Symposium, 122-136, 2015
Very static enforcement of dynamic policies
B Delft, S Hunt, D Sands
International Conference on Principles of Security and Trust, 32-52, 2015
Paragon–Practical programming with information flow control
N Broberg, B van Delft, D Sands
Journal of Computer Security 25 (4-5), 323-365, 2017
Abstraction, objects and information flow analysis
B van Delft
Master’s thesis, Institute for Computing and Information Science, Radboud …, 2011
Dynamic enforcement of dynamic policies
P Buiras, B van Delft
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis …, 2015
A datalog semantics for paralocks
B Delft, N Broberg, D Sands
International Workshop on Security and Trust Management, 305-320, 2012
Dependency-based information flow analysis with declassification in a program logic
B van Delft, R Bubel
arXiv preprint arXiv:1509.04153, 2015
Programming in Paragon.
B van DELFT, N Broberg, D Sands
Software Systems Safety, 279-308, 2014
Paragon for practical flow-oriented programming
N Broberg, D Sands, B van Delft
Draft, July, 23, 2011
Biometric authentication-a heartbeat away
P Hoekerd, BV Delft
Protecting Information under Dynamic Policies: Specification, Conditions and Enforcement
B Van Delft
Chalmers University of Technology, 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
A Policy Semantics and a Programming Language for Securing Software
B Van Delft
Chalmers University of Technology and Göteborg University, 2014
Value sensitivity in information flow analysis
B van Delft
Nordic Workshop on Programming Theory, 2011
Non-determinism in XML content models
B van Delft, R Krebbers
Attacking an AI classifier in a realistic context
B Delft
Elisabeth De Leeuw, Simone Fischer-Hübner, Lothar Fritsch
P Bichsel, J Camenisch, HS Al-Sinani, CJ Mitchell, M Ivkovic, ...
Policy 113, 129, 0
HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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