Niklas Broberg

J. Comput. Secur., 2017

2015

The Anatomy and Facets of Dynamic Policies.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Programming in Paragon.

[BibT_eX]

[DOI]

Proceedings of the Software Systems Safety, 2014

Paragon: Programming with Information Flow Control (Demo).

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2012

A Datalog Semantics for Paralocks.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

2010

Paralocks: role-based information flow control and beyond.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Flow-sensitive semantics for dynamic information flow policies.

[BibT_eX]

[DOI]

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Improving the Semantics of Imperfect Security.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Security Analysis, 2009

2006

Flow Locks: Towards a Core Calculus for Dynamic Flow Policies.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2006

2005

Haskell server pages through dynamic loading.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Regular expression patterns.

[BibT_eX]

[DOI]

Andreas Farre

Josef Svenningsson

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2000

Some examples related to the abc-conjecture for algebraic number fields.

[BibT_eX]

[DOI]