| Paralocks: role-based information flow control and beyond N Broberg, D Sands Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2010 | 121 | 2010 |
| Flow locks: Towards a core calculus for dynamic flow policies N Broberg, D Sands European Symposium on Programming, 180-196, 2006 | 115 | 2006 |
| 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 | 109* | 2013 |
| Flow-sensitive semantics for dynamic information flow policies N Broberg, D Sands Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009 | 40 | 2009 |
| The anatomy and facets of dynamic policies N Broberg, B van Delft, D Sands 2015 IEEE 28th Computer Security Foundations Symposium, 122-136, 2015 | 38 | 2015 |
| Regular expression patterns N Broberg, A Farre, J Svenningsson Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004 | 33 | 2004 |
| Some examples related to the abc-conjecture for algebraic number fields N Broberg Mathematics of computation, 1707-1710, 2000 | 15 | 2000 |
| Rational points on cubic surfaces N Broberg Rational points on algebraic varieties, 13-35, 2001 | 11 | 2001 |
| A datalog semantics for paralocks B van Delft, N Broberg, D Sands Security and Trust Management: 8th International Workshop, STM 2012, Pisa …, 2013 | 7 | 2013 |
| Haskell server pages through dynamic loading N Broberg Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 39-48, 2005 | 7 | 2005 |
| 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 |
| Paralocks–Role-Based Information Flow Control and N Broberg, D Sands Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on, 2010 | 2 | 2010 |
| 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 |
| Improving the Semantics of Imperfect Security N Broberg, D Sands Joint Workshop on Automated Reasoning for Security Protocol Analysis and …, 2009 | | 2009 |
| for Dynamic Flow Policies N Broberg, D Sands Programming Languages and Systems: ESOP...: Proceedings 2986, 180, 2006 | | 2006 |
| Programming Language Design-Issues in Web Programming and Security N Broberg Chalmers University of Technology, 2006 | | 2006 |
| CSF 2012 M Arapinis, A Askarov, N Broberg, M Bugliesi, S Calzavara, P Cerny, ... | | |
| CSF 2010 M Aizatulin, M Arapinis, A Askarov, A Barth, MY Becker, A Birgisson, ... | | |
| Haskell Server Pages N Broberg | | |
David SandsProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se