Niklas Broberg
Showing 14 publications
Paragon - Practical programming with information flow control
The Anatomy and Facets of Dynamic Policies
Paragon: Programming with information flow control (demo)
Paragon for Practical Programming with Information-Flow Control
A Datalog Semantics for Paralocks
Paralocks: Role-based information flow control and beyond
Paralocks - Role-Based Information Flow Control and Beyond
Improving the semantics of imperfect security
Flow-Sensitive Semantics for Dynamic Information Flow Policies
Programming Language Design - Issues in Web Programming and Security
Towards a core calculus for dynamic flow policies
Haskell Server Pages through Dynamic Loading
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
Gender-fair Education in Practical and Project Work in Computer Science
AppFlow: Putting Information Flow Control to Work