Hanne Riis Nielson

Hanne Riis Nielson

Professor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 218

2800 Kgs. Lyngby

Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Kurser
CV
Loading

Publikationer rss feed

2018
 

Process-Local Static Analysis of Synchronous Processes

Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Static Analysis, pages: 284-305, 2018, Springer
Presented at:
25th Static Analysis Symposium

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-99725-4_18

  PDF

Secure information release in timed automata

Vasilikos, Panagiotis ; Nielson, Flemming ; Nielson, Hanne Riis
part of: POST 2018: Principles of Security and Trust, pages: 28-52, 2018, Springer
Presented at:
7th International Conference on Principles of Security and Trust

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/978-3-319-89722-6_2

2017
 

Content dependent information flow control

Nielson, Hanne Riis ; Nielson, Flemming
in: Journal of Logical and Algebraic Methods in Programming, vol: 87, pages: 6-32

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.1016/j.jlamp.2016.09.005

  PDF

A coordination language for databases

Li, Ximeng ; Wu, Xi ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
in: Logical Methods in Computer Science, vol: 13, issue: 1

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2017

 

Atomistic Galois insertions for flow sensitive integrity

Nielson, Flemming ; Nielson, Hanne Riis
in: Computer Languages, Systems and Structures, vol: 50, pages: 82-107

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.1016/j.cl.2017.06.004

  PDF

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     |    År: 2017     |    DOI: https://doi.org/10.1145/3110259

 

Information Flow for Timed Automata

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

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://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: Leibniz International Proceedings in Informatics, vol: 90
Presented at:
24th International Symposium on Temporal Representation and Reasoning

Type: Conference article (Peer reviewed)

Status: Published     |    År: 2017     |    DOI: https://doi.org/10.4230/LIPIcs.TIME.2017.21

2016
  PDF

A Parametric Abstract Domain for Lattice-Valued Regular Expressions

Midtgaard, Jan ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 23rd International Symposium on Static Analysis (SAS 2016), pages: 338-360, 2016, Springer
Presented at:
23rd International Symposium on Static Analysis

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2016

 

Disjunctive Information Flow for Communicating Processes

Li, Ximeng ; Nielson, Flemming ; Nielson, Hanne Riis ; Feng, Xinyu
part of: Revised Selected Papers of the 10th International Symposium on Trustworthy Global Computing (TGC 2015), pages: 95-111, 2016, Springer
Presented at:
10th International Symposium on Trustworthy Global Computing (TGC 2015)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2016     |    DOI: https://doi.org/10.1007/978-3-319-28766-9_7