Niklas Broberg

Universitetslektor vid Informationssäkerhet

Källa: chalmers.se

Kontaktuppgifter

Publikationer (14)
Projekt (2)

Visar 14 publikationer

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

Artikel i vetenskaplig tidskrift

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 i 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 i 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 i 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 i proceeding

2011

Practical, Flexible programming with Information Flow Control

Niklas Broberg

Doktorsavhandling

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 i 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

Artikel i vetenskaplig tidskrift

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 i 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 i proceeding

2006

Programming Language Design - Issues in Web Programming and Security

Niklas Broberg

Licentiatavhandling

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 i proceeding

2005

Haskell Server Pages through Dynamic Loading

Niklas Broberg

Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, p. 39--48-

Paper i 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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 2 forskningsprojekt

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 Informationssäkerhet

Richard Berntsson Svensson Software Engineering for Testing, Requirements, Innovation and Psychology

GENIE, Chalmers jämställdhet för excellens

2015–2018

AppFlow

David Sands Programvaruteknik

Andrei Sabelfeld Informationssäkerhet

Alejandro Russo Informationssäkerhet

Niklas Broberg Informationssäkerhet

Vetenskapsrådet (VR)

1 publikation finns

Det kan finnas fler projekt där Niklas Broberg medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.