Niklas Broberg

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Topics

Relational Query Languages

Practical Application

Programming Environment

Top Venues

J. Comput. Secur.

Publications

Niklas Broberg, Bart van Delft, David Sands
Paragon - Practical programming with information flow control. J. Comput. Secur. 25 (4-5) (2017)
Niklas Broberg, Bart van Delft, David Sands
The Anatomy and Facets of Dynamic Policies. CSF (2015)
Niklas Broberg, Bart van Delft, David Sands
The Anatomy and Facets of Dynamic Policies. CoRR (2015)
Niklas Broberg, Bart van Delft, David Sands
Paragon: Programming with Information Flow Control (Demo). PLAS@ECOOP (2014)
Niklas Broberg, Bart van Delft, David Sands
Paragon for Practical Programming with Information-Flow Control. APLAS (2013)
Bart van Delft, Niklas Broberg, David Sands
A Datalog Semantics for Paralocks. STM (2012)
Niklas Broberg, David Sands
Paralocks: role-based information flow control and beyond. POPL (2010)
Niklas Broberg, David Sands
Improving the Semantics of Imperfect Security. ARSPA-WITS (2009)
Niklas Broberg, David Sands
Flow-sensitive semantics for dynamic information flow policies. PLAS (2009)
Niklas Broberg, David Sands
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. ESOP (2006)
Niklas Broberg
Haskell server pages through dynamic loading. Haskell (2005)
Niklas Broberg, Andreas Farre, Josef Svenningsson
Regular expression patterns. ICFP (2004)
Niklas Broberg
Some examples related to the abc-conjecture for algebraic number fields. Math. Comput. 69 (232) (2000)