Some examples related to the abc-conjecture for algebraic number fields. - Niklas Broberg (Math. Comput., 2000)

Regular expression patterns. - Niklas Broberg; Andreas Farre; Josef Svenningsson (ICFP, 2004)

Haskell server pages through dynamic loading. - Niklas Broberg (Haskell, 2005)

Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. - Niklas Broberg; David Sands 001 (ESOP, 2006)

Improving the Semantics of Imperfect Security. - Niklas Broberg; David Sands 001 (ARSPA-WITS, 2009)

Flow-sensitive semantics for dynamic information flow policies. - Niklas Broberg; David Sands 001 (PLAS, 2009)

Paralocks: role-based information flow control and beyond. - Niklas Broberg; David Sands 001 (POPL, 2010)

A Datalog Semantics for Paralocks. - Bart van Delft; Niklas Broberg; David Sands 001 (STM, 2012)

Paragon: Programming with Information Flow Control (Demo). - Niklas Broberg; Bart van Delft; David Sands 001 (PLAS@ECOOP, 2014)

Programming in Paragon. - Bart van Delft; Niklas Broberg; David Sands 001 (Software Systems Safety, 2014)

The Anatomy and Facets of Dynamic Policies. - Niklas Broberg; Bart van Delft; David Sands 001 (CSF, 2015)

Paragon - Practical programming with information flow control. - Niklas Broberg; Bart van Delft; David Sands 001 (J. Comput. Secur., 2017)