Hanne Riis Nielson

ORCID

Publication Activity (10 Years)

Years Active: 1981-2021
Publications (10 Years): 35

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
Benign Interaction of Security Domains. Protocols, Strands, and Logic (2021)
Flemming Nielson, Hanne Riis Nielson
Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Flemming Nielson, Hanne Riis Nielson
Program Analysis (an Appetizer). CoRR (2020)
Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson
Adaptive Security Policies. ISoLA (2) (2020)
Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf
Timing Leaks and Coarse-Grained Clocks. CSF (2019)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. 54 (2019)
Flemming Nielson, Hanne Riis Nielson
Lightweight Information Flow. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
Process-Local Static Analysis of Synchronous Processes. SAS (2018)
Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang
Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta (2018)
Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
Secure Information Release in Timed Automata. POST (2018)
Hanne Riis Nielson, Flemming Nielson
Content dependent information flow control. J. Log. Algebraic Methods Program. 87 (2017)
Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson
Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos
Information Flow for Timed Automata. Models, Algorithms, Logics and Tools (2017)
Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
Time Dependent Policy-Based Access Control. TIME (2017)
Flemming Nielson, Hanne Riis Nielson
Atomistic Galois insertions for flow sensitive integrity. Comput. Lang. Syst. Struct. 50 (2017)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. 60 (8) (2017)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
Iterated process analysis over lattice-valued regular expressions. PPDP (2016)
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Discovering, quantifying, and displaying attacks. Log. Methods Comput. Sci. 12 (4) (2016)
Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) (2016)
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
Enforcing Availability in Failure-Aware Communicating Systems. FORTE (2016)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS (2016)
Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson
Content-Dependent Security Policies in Avionics. MILS@HiPEAC (2016)
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
A Theory of Available-by-Design Communicating Systems. CoRR (2016)
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
A Coordination Language for Databases. Log. Methods Comput. Sci. 13 (1) (2016)
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson
A Parametric Abstract Domain for Lattice-Valued Regular Expressions. SAS (2016)
Xi Wu, Hanne Riis Nielson, Huibiao Zhu
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. TASE (2015)
Flemming Nielson, Hanne Riis Nielson, Kebin Zeng
Stochastic Model Checking of the Stochastic Quality Calculus. Software, Services, and Systems (2015)
Hanne Riis Nielson, Flemming Nielson, Ximeng Li
Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security (2015)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Factorization of Behavioral Integrity. ESORICS (2) (2015)
Erisa Karafili, Hanne Riis Nielson, Flemming Nielson
How to Trust the Re-use of Data. STM (2015)
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION (2015)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng
Disjunctive Information Flow for Communicating Processes. TGC (2015)
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
A calculus of quality for robustness against unreliable communication. J. Log. Algebraic Methods Program. 84 (5) (2015)
Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
Set-Pi: Set Membership p-Calculus. CSF (2015)
Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency (2015)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
Quantitative modelling and analysis of a Chinese smart grid: a stochastic model checking case study. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Kebin Zeng, Flemming Nielson, Hanne Riis Nielson
The Stochastic Quality Calculus. COORDINATION (2014)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
Denial-of-Service Security Attack in the Continuous-Time World. FORTE (2014)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The logic of XACML. Sci. Comput. Program. 83 (2014)
Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson
Formal Security Analysis of the MaCAN Protocol. IFM (2014)
Shuling Wang, Flemming Nielson, Hanne Riis Nielson
A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR (2014)
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Automated Generation of Attack Trees. CSF (2014)
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Uniform Protection for Multi-exposed Targets. FORTE (2014)
Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
Trust-Based Enforcement of Security Policies. TGC (2014)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Design-Efficiency in Security CoRR (2013)
Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson
Lazy Mobile Intruders. POST (2013)
Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Predictive access control for distributed computation. Sci. Comput. Program. 78 (9) (2013)
Hanne Riis Nielson, Flemming Nielson
Safety versus Security in the Quality Calculus. Theories of Programming and Formal Methods (2013)
Roberto Vigo, Flemming Nielson, Hanne Riis Nielson
Broadcast, Denial-of-Service, and Secure Communication. IFM (2013)
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Pushdown Systems for Monotone Frameworks. CoRR (2013)
Hanne Riis Nielson, Flemming Nielson
Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE (2013)
Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær
ICT-powered Health Care Processes - (Position Paper). FHIES (2013)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
XACML 3.0 in Answer Set Programming. LOPSTR (2012)
Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Secondary use of data in EHR systems CoRR (2012)
Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson
Model Checking as Static Analysis: Revisited. IFM (2012)
Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
Flow Logic for Process Calculi. ACM Comput. Surv. 44 (1) (2012)
Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
A Calculus for Quality. FACS (2012)
Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang, Flemming Nielson
Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. TASE (2012)
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Recursive Advice for Coordination. COORDINATION (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study CoRR (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen
LBTool: A stochastic toolkit for leave-based key updates. ISCC (2012)
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Layered fixed point logic. PPDP (2012)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
XACML 3.0 in Answer Set Programming CoRR (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska
Optimizing ZigBee Security using Stochastic Model Checking CoRR (2012)
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Layered Fixed Point Logic CoRR (2012)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Key Update Assistant for resource-constrained networks. ISCC (2012)
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Lattice based Least Fixed Point Logic CoRR (2012)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The Logic of XACML. FACS (2011)
Alejandro Mario Hernandez, Flemming Nielson, Hanne Riis Nielson
Designing, Capturing and Validating History-Sensitive Security Policies for Distributed Systems. Sci. Ann. Comput. Sci. 21 (1) (2011)
Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard
From Explicit to Symbolic Types for Communication Protocols in CCS. Formal Modeling: Actors, Open Systems, Biological Systems (2011)
Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson
Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. 12 (3) (2011)
Han Gao, Flemming Nielson, Hanne Riis Nielson
CaPiTo: protocol stacks for services. Formal Aspects Comput. 23 (4) (2011)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
Resilience analysis of key update strategies for resource-constrained networks. ICUMT (2011)
Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Galois Connections for Flow Algebras. FMOODS/FORTE (2011)
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION (2011)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. 54 (4) (2011)
Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson
Controlling Modelling Artifacts. QEST (2011)
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
The Logic of XACML - Extended CoRR (2011)
Flemming Nielson, Hanne Riis Nielson
Static Analysis of Modal Logic. FoSSaCS (2010)
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
Static analysis of topology-dependent broadcast networks. Inf. Comput. 208 (2) (2010)
Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson
Model Checking Multivariate State Rewards. QEST (2010)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75 (6) (2010)
Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Probabilistic Aspects: Checking Security in an Imperfect World. TGC (2010)
Flemming Nielson, Han Gao, Hanne Riis Nielson
The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS (2010)
Chris Hankin, Flemming Nielson, Hanne Riis Nielson
Advice from Belnap Policies. CSF (2009)
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
A secure key establishment protocol for zigbee wireless sensor networks. ISCIS (2009)
Hanne Riis Nielson, Flemming Nielson
A monotone framework for CCS. Comput. Lang. Syst. Struct. 35 (4) (2009)
Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang
Advice for Coordination. COORDINATION (2008)
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
Pathway analysis for BioAmbients. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
Relational Analysis of Correlation. SAS (2008)
René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst
Static Validation of Licence Conformance Policies. ARES (2008)
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
Iterative Specialisation of Horn Clauses. ESOP (2008)
Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson
Modal Abstractions of Concurrent Behaviour. SAS (2008)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION (2008)
Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan
08161 Abstracts Collection - Scalable Program Analysis. Scalable Program Analysis (2008)
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson
Cryptographic Pattern Matching. Electron. Notes Theor. Comput. Sci. 168 (2007)
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
Relational Analysis for Delivery of Services. TGC (2007)
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
What is a free name in a process algebra? Inf. Process. Lett. 103 (5) (2007)
Flemming Nielson, Hanne Riis Nielson, Corrado Priami, Debora Rosa
Control Flow Analysis for BioAmbients. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)

Hanne Riis Nielson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hanne Riis Nielson