Till sidans topp

Sidansvarig: Växeln
Sidan uppdaterades: 2018-11-25 19:37

Tipsa en vän
Utskriftsversion

Niklas Broberg - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Niklas Broberg

Projetkassistent

Niklas Broberg
Projetkassistent
0 31-772 1058

Besöksadress: Rännvägen 6B, vån 5 , 41258 Göteborg
Arbetsuppgifter: Programvaruteknik


Avd För Programvaruteknik vid Institutionen för data- och informationsteknik (Mer information)
412 96 Göteborg
0317721000
Besöksadress: Rännvägen 6 B , 412 58 Göteborg

Senaste publikationer

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

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

A Datalog Semantics for Paralocks
Bart van Delft, Niklas Broberg, David Sands
8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers, Paper i proceeding 2013
Paper i proceeding

Paragon for Practical Programming with Information-Flow Control
Niklas Broberg, Bart van Delft, David Sands
11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, Paper i proceeding 2013
Paper i proceeding

Practical, Flexible programming with Information Flow Control
Niklas Broberg
Göteborg, University of Gothenburg, Doktorsavhandling 2011
Doktorsavhandling

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

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), Paper i proceeding 2009
Paper i proceeding

Programming Language Design - Issues in Web Programming and Security
Niklas Broberg
Göteborg, Chalmers University of Technology, Licentiatsavhandling 2006
Licentiatsavhandling

Towards a core calculus for dynamic flow policies
Niklas Broberg, David Sands
Programming Languages and Systems. 15th European Symposium on Programming, ESOP 2006, Paper i proceeding 2006
Paper i proceeding

Haskell Server Pages through Dynamic Loading
Niklas Broberg
Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, Paper i proceeding 2005
Paper i proceeding

Visar 1 - 10 av 11

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, Paper i proceeding 2015
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, Paper i proceeding 2014
Paper i proceeding

2013

A Datalog Semantics for Paralocks
Bart van Delft, Niklas Broberg, David Sands
8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers, Paper i proceeding 2013
Paper i proceeding

Paragon for Practical Programming with Information-Flow Control
Niklas Broberg, Bart van Delft, David Sands
11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, Paper i proceeding 2013
Paper i proceeding

2011

Practical, Flexible programming with Information Flow Control
Niklas Broberg
Göteborg, University of Gothenburg, Doktorsavhandling 2011
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, Paper i proceeding 2010
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), Paper i proceeding 2009
Paper i proceeding

2006

Programming Language Design - Issues in Web Programming and Security
Niklas Broberg
Göteborg, Chalmers University of Technology, Licentiatsavhandling 2006
Licentiatsavhandling

Towards a core calculus for dynamic flow policies
Niklas Broberg, David Sands
Programming Languages and Systems. 15th European Symposium on Programming, ESOP 2006, Paper i proceeding 2006
Paper i proceeding

2005

Haskell Server Pages through Dynamic Loading
Niklas Broberg
Proceedings of the ACM SIGPLAN 2005 Haskell Workshop, Paper i proceeding 2005
Paper i proceeding

Visar 1 - 10 av 11

Sidansvarig: Växeln|Sidan uppdaterades: 2018-11-25
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?