Niklas Broberg
Niklas Broberg
Lecturer in Computer Science, Chalmers University of Technology
Verified email at
Cited by
Cited by
Flow locks: Towards a core calculus for dynamic flow policies
N Broberg, D Sands
European Symposium on Programming, 180-196, 2006
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
Paragon for practical programming with information-flow control
N Broberg, B Delft, D Sands
Asian Symposium on Programming Languages and Systems, 217-232, 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
The anatomy and facets of dynamic policies
N Broberg, B van Delft, D Sands
2015 IEEE 28th Computer Security Foundations Symposium, 122-136, 2015
Regular expression patterns
N Broberg, A Farre, J Svenningsson
Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004
A datalog semantics for paralocks
B Delft, N Broberg, D Sands
International Workshop on Security and Trust Management, 305-320, 2012
Haskell server pages through dynamic loading
N Broberg
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 39-48, 2005
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
Paralocks--Role-based Information Flow Control...
N Broberg, D Sands
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
Improving the Semantics of Imperfect Security
N Broberg, D Sands
Joint Workshop on Automated Reasoning for Security Protocol Analysis and …, 2009
for Dynamic Flow Policies
N Broberg, D Sands
Programming Languages and Systems: ESOP...: Proceedings 2986, 180, 2006
Programming Language Design Issues in Web Programming and Security
N Broberg, CN Broberg
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
The system can't perform the operation now. Try again later.
Articles 1–18