Niklas Broberg

Senior Lecturer at Information Security

Showing 14 publications

2017

Paragon - Practical programming with information flow control

Niklas Broberg, Bart van Delft, David Sands
Journal of Computer Security. Vol. 25 (4-5), p. 323-365
Journal article
2015

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, p. 122-136
Paper in proceedings
2014

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, p. 79-80
Paper in proceedings
2013

A Datalog Semantics for Paralocks

Bart van Delft, Niklas Broberg, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7783, p. 305-320
Paper in proceedings
2013

Paragon for Practical Programming with Information-Flow Control

Niklas Broberg, Bart van Delft, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8301, p. 217-232
Paper in proceedings
2010

Paralocks - Role-Based Information Flow Control and Beyond

Niklas Broberg, David Sands
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 45 (1), p. 431-444
Journal article
2010

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, p. 431-444
Paper in proceedings
2009

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), p. 101-112
Paper in proceedings
2009

Improving the semantics of imperfect security

Niklas Broberg, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5511 LNCS, p. 88-91
Paper in proceedings
2006

Towards a core calculus for dynamic flow policies

Niklas Broberg, David Sands
Programming Languages and Systems. 15th European Symposium on Programming, ESOP 2006. Vol. 3924 (LNCS)
Paper in proceedings
2005

Haskell Server Pages through Dynamic Loading

Niklas Broberg
Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, p. 39--48-
Paper in proceedings
2004

Regular Expression Patterns

Niklas Broberg, Andreas Farre, Josef Svenningsson
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, p. 67 - 78
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Showing 2 research projects

2020–2021

Gender-fair Education in Practical and Project Work in Computer Science

Regina Hebig Software Engineering for Testing, Requirements, Innovation and Psychology
Niklas Broberg Information Security
Richard Berntsson Svensson Software Engineering for Testing, Requirements, Innovation and Psychology
GENIE, Chalmers Gender Initiative for Excellence

2015–2018

AppFlow: Putting Information Flow Control to Work

David Sands Software Technology (Chalmers)
Andrei Sabelfeld Information Security
Alejandro Russo Information Security
Niklas Broberg Information Security
Swedish Research Council (VR)

There might be more projects where Niklas Broberg participates, but you have to be logged in as a Chalmers employee to see them.