Niklas Broberg

Senior Lecturer at Information Security

Source: chalmers.se
Image of Niklas Broberg

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
Proceedings. The Computer Security Foundations Workshop III, p. 122-136
Paper in proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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
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 proceeding
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 proceeding
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 proceeding
2005

Haskell Server Pages through Dynamic Loading

Niklas Broberg
Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, p. 39--48-
Paper in proceeding
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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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)

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