Niklas Broberg

Universitetslektor vid Chalmers, Data- och informationsteknik, Informationssäkerhet

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
28th IEEE Computer Security Foundations Symposium (CSF), July 13-17, 2015, Verona, Italy, 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

A Datalog Semantics for Paralocks

Bart van Delft, Niklas Broberg, David Sands
Lecture Notes in Computer Science. Vol. 7783, p. 305-320
Paper i proceeding
2013

Paragon for Practical Programming with Information-Flow Control

Niklas Broberg, Bart van Delft, David Sands
Lecture Notes in Computer Science. Vol. 8301, p. 217-232
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
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
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
2009

Improving the semantics of imperfect security

Niklas Broberg, David Sands
Lecture Notes in Computer Science. Vol. 5511 LNCS, p. 88-91
Paper i 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 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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 1 forskningsprojekt

2015–2018

AppFlow

David Sands Programvaruteknik
Andrei Sabelfeld Informationssäkerhet
Alejandro Russo Informationssäkerhet
Niklas Broberg Informationssäkerhet
Vetenskapsrådet (VR)

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.