• Richard Petersens Plads, 322, 218

    2800 Kgs. Lyngby

    Denmark

1981 …2019
If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1981 2019

Enforcing globally dependent flow policies in message-passing systems

Li, X., Nielson, F. & Nielson, H. R., 1 Oct 2019, In : Journal of Computer Languages. 54, 46 p., 100904.

Research output: Contribution to journalJournal articleResearchpeer-review

Formal Methods: An Appetizer.

Nielson, F. & Nielson, H. R., 2019, Springer. 170 p.

Research output: Book/ReportBook

Lightweight information flow

Nielson, F. & Nielson, H. R., 1 Jan 2019, Models, Languages, and Tools for Concurrent and Distributed Programming. Springer, p. 455-470 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11665 LNCS).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Multi-valued Logic for Static Analysis and Model Checking

Nielson, F., Nielson, H. R. & Zhang, F., 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 89-109 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Timing leaks and coarse-grained clocks

Vasilikos, P., Nielson, H. R., Nielson, F. & Kopf, B., 1 Jun 2019, Proceedings of 2019 IEEE 32nd Computer Security Foundations Symposium. IEEE Computer Society Press, p. 32-47 8823781. (Proceedings - IEEE Computer Security Foundations Symposium, Vol. 2019-June).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Projects 1999 2019

Modeling and Verifying eID Protocols (Future ID)

Almousa, O., Mödersheim, S. A., Nielson, H. R., Lluch Lafuente, A., Brucker, A. D. & Sprenger, C.

EU-finansieret

15/12/201224/02/2016

Project: PhD

SESAMO: Security and Safety Modelling

Bruni, A., Nielson, F., Nielson, H. R., Probst, C. W., Kremer, S. & Maffeis, S.

Institut, samfinansiering

01/10/201231/03/2016

Project: PhD

SESAMO: Security and Safety Modelling

Li, X., Nielson, F., Nielson, H. R., Probst, C. W., Aceto, L. & Mantal, H.

Institut, samfinansiering

01/10/201221/01/2016

Project: PhD