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

Ph.	+45 45 25 37 35
E-mail	fnie@dtu.dk
ORCID	0000-0001-7362-6176

Home page

vCard

Request a vCard via e-mail.

Publications

Projects

Courses

Publications

Sort:

ALL Article in Journal (60) Academic Dissertation (23) Book (25) Conference (143) Report (9) MISC (1) PATENT (0) Peer Reviewed (224)

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

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

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

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