Follow
Niklas Broberg
Niklas Broberg
Lecturer in Computer Science, Chalmers University of Technology
Verified email at chalmers.se
Title
Cited by
Cited by
Year
Flow locks: Towards a core calculus for dynamic flow policies
N Broberg, D Sands
European Symposium on Programming, 180-196, 2006
1062006
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
1032010
Paragon for practical programming with information-flow control
N Broberg, B Delft, D Sands
Asian Symposium on Programming Languages and Systems, 217-232, 2013
93*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
322009
The anatomy and facets of dynamic policies
N Broberg, B van Delft, D Sands
2015 IEEE 28th Computer Security Foundations Symposium, 122-136, 2015
312015
Regular expression patterns
N Broberg, A Farre, J Svenningsson
Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004
292004
A datalog semantics for paralocks
B Delft, N Broberg, D Sands
International Workshop on Security and Trust Management, 305-320, 2012
62012
Haskell server pages through dynamic loading
N Broberg
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 39-48, 2005
62005
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
Paralocks--Role-based Information Flow Control...
N Broberg, D Sands
22010
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, CN Broberg
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
The system can't perform the operation now. Try again later.
Articles 1–18