1981 …2020

Research output per year

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

Secure Guarded Commands

Nielson, F. & Nielson, H. R., 1 Jan 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Di Pierro, A., Malacaria, P. & Nagarajan, R. (eds.). Springer, p. 201-215 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12065 LNCS).

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

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/ReportBookEducation

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

Projects

Abstract Interpretation for Secure Information Flow

Vasilikos, P., Nielson, H. R., Nielson, F., Hansen, M. R., Viganò, L. & Aceto, L.

Samfinansieret - Andet

01/09/201631/08/2019

Project: PhD

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

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

Institut, samfinansiering

01/10/201221/01/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