- Hem
- Om universitetet
- Hitta person
- Niklas Broberg
Niklas Broberg
Universitetslektor
Institutionen för data- och informationsteknik - IT-
The Anatomy and Facets of Dynamic
Policies
Niklas Broberg, Bart van Delft, David Sands
28th IEEE Computer Security Foundations Symposium (CSF), July 13-17, 2015, Verona, Italy - 2015 -
Paragon: Programming with information flow control
(demo)
Niklas Broberg, Bart van Delft, David Sands
9th Workshop on Programming Languages and Analysis for Security, PLAS 2014; Uppsala; Sweden; 28 July 2014 through 1 August 2014 - 2014 -
A Datalog Semantics for
Paralocks
Bart van Delft, Niklas Broberg, David Sands
8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers - 2013 -
Paragon for Practical Programming with Information-Flow
Control
Niklas Broberg, Bart van Delft, David Sands
11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings - 2013 -
Practical, Flexible programming with Information Flow
Control
Niklas Broberg
2011 -
Paralocks: Role-based information flow control and
beyond
Niklas Broberg, David Sands
37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10, Madrid, Spain, 17-23 January 2010 - 2010 -
Flow-Sensitive Semantics for Dynamic Information Flow
Policies
Niklas Broberg, David Sands
ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009) - 2009 -
Programming Language Design - Issues in Web Programming and
Security
Niklas Broberg
2006 -
Towards a core calculus for dynamic flow
policies
Niklas Broberg, David Sands
Programming Languages and Systems. 15th European Symposium on Programming, ESOP 2006 - 2006 -
Haskell Server Pages through Dynamic
Loading
Niklas Broberg
Proceedings of the ACM SIGPLAN 2005 Haskell Workshop - 2005 -
Regular Expression
Patterns
Niklas Broberg, Andreas Farre, Josef Svenningsson
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - 2004