Niklas Broberg

15 papers A* 1A 3B 1C 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2017 J jnl
Paragon - Practical programming with information flow control.
J. Comput. Secur.
Niklas Broberg, Bart van Delft, David Sands
2015 A conf
The Anatomy and Facets of Dynamic Policies.
CSF
Niklas Broberg, Bart van Delft, David Sands
2015 J jnl
The Anatomy and Facets of Dynamic Policies.
CoRR
Niklas Broberg, Bart van Delft, David Sands
2014 — conf
Paragon: Programming with Information Flow Control (Demo).
PLAS@ECOOP
Niklas Broberg, Bart van Delft, David Sands
2014 — ch.
Programming in Paragon.
Software Systems Safety
Bart van Delft, Niklas Broberg, David Sands
2013 B conf
Paragon for Practical Programming with Information-Flow Control.
APLAS
Niklas Broberg, Bart van Delft, David Sands
2012 — conf
A Datalog Semantics for Paralocks.
STM
Bart van Delft, Niklas Broberg, David Sands
2011 — —
Practical, Flexible programming with Information Flow Control.
Niklas Broberg
2010 A* conf
Paralocks: role-based information flow control and beyond.
POPL
Niklas Broberg, David Sands
2009 — conf
Flow-sensitive semantics for dynamic information flow policies.
PLAS
Niklas Broberg, David Sands
2009 — conf
Improving the Semantics of Imperfect Security.
ARSPA-WITS
Niklas Broberg, David Sands
2006 A conf
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.
ESOP
Niklas Broberg, David Sands
2005 C conf
Haskell server pages through dynamic loading.
Haskell
Niklas Broberg
2004 A conf
Regular expression patterns.
ICFP
Niklas Broberg, Andreas Farre, Josef Svenningsson
2000 J jnl
Some examples related to the abc-conjecture for algebraic number fields.
Math. Comput.
Niklas Broberg