Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development 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):
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 proceeding › Book chapter › Research › peer-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 proceeding › Book chapter › Research › peer-review
Open AccessFile112 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 proceeding › Book chapter › Research › peer-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 journal › Journal article › Research › peer-review
Open AccessFile26 Downloads (Pure) -
Formal Methods: An Appetizer.
Nielson, F. & Nielson, H. R., 2019, Springer. 170 p.Research output: Book/Report › Book › Education
Projects
- 23 Finished
-
Abstract Interpretation for Secure Information Flow
Vasilikos, P., Nielson, F., Hansen, M. R., Viganò, L., Aceto, L. & Nielson, H. R.
01/09/2016 → 09/09/2020
Project: PhD
-
Stochastic Model Checking of Socio- Technical Models
Aslanyan, Z., Nielson, F., Probst, C. W., Lluch Lafuente, A., Hansen, R. R. & Legay, A.
01/07/2013 → 23/11/2016
Project: PhD
-
SESAMO: Security and Safety Modelling
Bruni, A., Nielson, F., Probst, C. W., Kremer, S., Maffeis, S. & Nielson, H. R.
01/10/2012 → 31/03/2016
Project: PhD
-
SESAMO: Security and Safety Modelling
Li, X., Nielson, F., Probst, C. W., Aceto, L., Mantal, H. & Nielson, H. R.
01/10/2012 → 21/01/2016
Project: PhD
-
Cyber-Physical Systems secure communication protocols
Vigo, R., Nielson, F., Lluch Lafuente, A., Viganò, L., Nielson, H. R. & Victor, B.
01/12/2011 → 04/03/2015
Project: PhD