| 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 | 84 | 2013 |
| A security analysis of OpenID B Van Delft, M Oostdijk IFIP Working Conference on Policies and Research in Identity Management, 73-84, 2010 | 53 | 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 | 35 | 2015 |
| Very static enforcement of dynamic policies B van Delft, S Hunt, D Sands Principles of Security and Trust: 4th International Conference, POST 2015 …, 2015 | 33 | 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 | 19 | 2017 |
| Dynamic enforcement of dynamic policies P Buiras, B van Delft Proceedings of the 10th ACM Workshop on Programming Languages and Analysis …, 2015 | 10 | 2015 |
| Abstraction, objects and information flow analysis B van Delft Master’s thesis, Institute for Computing and Information Science, Radboud …, 2011 | 9 | 2011 |
| A datalog semantics for paralocks B van Delft, N Broberg, D Sands Security and Trust Management: 8th International Workshop, STM 2012, Pisa …, 2013 | 6 | 2013 |
| Dependency-based information flow analysis with declassification in a program logic B van Delft, R Bubel arXiv preprint arXiv:1509.04153, 2015 | 3 | 2015 |
| Programming in Paragon B van DELFT, N Broberg, D Sands Software Systems Safety, 279-308, 2014 | 2 | 2014 |
| Paragon for practical flow-oriented programming N Broberg, D Sands, B van Delft Draft, July, 23, 2011 | 2 | 2011 |
| Biometric authentication-a heartbeat away P Hoekerd, BV Delft | 1 | 2008 |
| 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 |
| Attacking an AI classifier in a realistic context B van Delft | | 2008 |
| Search using SolR syntax E De Leeuw, S Fischer-Hübner, L Fritsch, P Bichsel, J Camenisch, ... Policy 113, 129, 0 | | |
David SandsProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
