• Richard Petersens Plads, 321, 016

    2800 Kgs. Lyngby

    Denmark

1982 …2021

Research activity per year

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

Personal profile

Expertise related to UN Sustainable Devlopment Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being
  • SDG 7 - Affordable and Clean Energy

Fingerprint

Dive into the research topics where Flemming Nielson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Benign Interaction of Security Domains

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Springer, p. 312-331 (Lecture Notes in Computer Science, Vol. 13066).

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

  • Adaptive Security Policies

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2020, Engineering Principles. Springer, p. 280-294 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12477).

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

    Open Access
    File
    69 Downloads (Pure)
  • 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 articlepeer-review

    Open Access
    File
    4 Downloads (Pure)
  • Formal Methods: An Appetizer.

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

    Research output: Book/ReportBookEducation