Flemming Nielson

Flemming Nielson

Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 182

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Courses
CV
Loading

Publications rss feed

2017
 

Content dependent information flow control

Nielson, Hanne Riis ; Nielson, Flemming
in journal: Journal of Logical and Algebraic Methods in Programming (ISSN: 2352-2208) (DOI: http://dx.doi.org/10.1016/j.jlamp.2016.09.005), vol: 87, pages: 6-32, 2017

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1016/j.jlamp.2016.09.005

  PDF

Formal Analysis of Graphical Security Models

Aslanyan, Zaruhi ; Nielson, Flemming (Supervisor) ; Probst, Christian W. (Supervisor)
Technical University of Denmark (DTU), pages: 208

Type: Ph.D. thesis

Status: Published     |    Year: 2017

  PDF

A coordination language for databases

Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
in journal: Logical Methods in Computer Science (ISSN: 1860-5974), vol: 13, issue: 1, 2017

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017

 

Model checking exact cost for attack scenarios

Aslanyan, Zaruhi ; Nielson, Flemming
part of: Principles of Security and Trust (ISBN: 9783662544549), pages: 210-31, 2017, Springer,
Presented at:
Principles of Security and Trust. 6th International Conference, 2017, Uppsala

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1007/978-3-662-54455-6_10

 

Atomistic Galois insertions for flow sensitive integrity

Nielson, Flemming ; Nielson, Hanne Riis
in journal: Computer Languages, Systems and Structures (ISSN: 1477-8424) (DOI: http://dx.doi.org/10.1016/j.cl.2017.06.004), vol: 50, pages: 82-107, 2017

Type: Journal article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1016/j.cl.2017.06.004

 

Information Flow for Timed Automata

Nielson, Flemming ; Nielson, Hanne Riis ; Vasilikos, Panagiotis
part of: Models, Algorithms, Logics and Tools (ISBN: 9783319631202), pages: 3-21, 2017, Springer,
Presented at:
KiMfest, 2017, Aalborg

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1007/978-3-319-63121-9_1

  PDF

Time dependent policy-based access control

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis
in journal: Leibniz International Proceedings in Informatics (ISSN: 1868-8969) (DOI: http://dx.doi.org/10.4230/LIPIcs.TIME.2017.21), vol: 90, 2017
Presented at:
24th International Symposium on Temporal Representation and Reasoning, 2017, Mons

Type: Conference article (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.4230/LIPIcs.TIME.2017.21

 

Effect-driven QuickChecking of compilers

Midtgaard, Jan ; Justesen, Mathias Nygaard ; Kasting, Patrick Frederik Soelmark ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the Acm on Programming Languages , pages: 1-23, 2017, Association for Computing Machinery,

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2017     |    DOI: http://dx.doi.org/10.1145/3110259

2016
  PDF

Analysis of Security Protocols in Embedded Systems

Bruni, Alessandro ; Nielson, Flemming (Supervisor) ; Nielson, Hanne Riis (Supervisor)
Technical University of Denmark (DTU), pages: 155

Type: Ph.D. thesis

Status: Published     |    Year: 2016

  PDF

Fine-grained Information Flow for Concurrent Computation

Li, Ximeng ; Nielson, Flemming (Main supervisor) ; Nielson, Hanne Riis (Supervisor)
Technical University of Denmark (DTU), pages: 182

Type: Ph.D. thesis

Status: Published     |    Year: 2016