default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHanne Riis Nielson
Person information
- affiliation: Technical University of Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[c126]Flemming Nielson
, René Rydhof Hansen, Hanne Riis Nielson:
Benign Interaction of Security Domains. Protocols, Strands, and Logic 2021: 312-331- 2020
- [c125]Flemming Nielson, Hanne Riis Nielson:
Secure Guarded Commands. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 201-215 - [c124]Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson:
Adaptive Security Policies. ISoLA (2) 2020: 280-294 - [i17]Flemming Nielson, Hanne Riis Nielson:
Program Analysis (an Appetizer). CoRR abs/2012.10086 (2020)
2010 – 2019
- 2019
- [j50]Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. 54 (2019) - [c123]Flemming Nielson, Hanne Riis Nielson:
Lightweight Information Flow. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 455-470 - [c122]Panagiotis Vasilikos, Hanne Riis Nielson, Flemming Nielson, Boris Köpf:
Timing Leaks and Coarse-Grained Clocks. CSF 2019: 32-47 - [e7]Hanne Riis Nielson, Emilio Tuosto:
Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Lecture Notes in Computer Science 11533, Springer 2019, ISBN 978-3-030-22396-0 [contents] - 2018
- [c121]Flemming Nielson, Hanne Riis Nielson, Fuyuan Zhang:
Multi-valued Logic for Static Analysis and Model Checking. Models, Mindsets, Meta 2018: 89-109 - [c120]Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson:
Secure Information Release in Timed Automata. POST 2018: 28-52 - [c119]Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
Process-Local Static Analysis of Synchronous Processes. SAS 2018: 284-305 - 2017
- [j49]Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan:
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. 60(8): 1111-1130 (2017) - [j48]Flemming Nielson, Hanne Riis Nielson:
Atomistic Galois insertions for flow sensitive integrity. Comput. Lang. Syst. Struct. 50: 82-107 (2017) - [j47]Hanne Riis Nielson, Flemming Nielson:
Content dependent information flow control. J. Log. Algebraic Methods Program. 87: 6-32 (2017) - [j46]Jan Midtgaard, Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson:
Effect-driven QuickChecking of compilers. Proc. ACM Program. Lang. 1(ICFP): 15:1-15:23 (2017) - [c118]Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos:
Information Flow for Timed Automata. Models, Algorithms, Logics and Tools 2017: 3-21 - [c117]Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson:
Time Dependent Policy-Based Access Control. TIME 2017: 21:1-21:18 - 2016
- [j45]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Discovering, quantifying, and displaying attacks. Log. Methods Comput. Sci. 12(4) (2016) - [j44]Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
A Coordination Language for Databases. Log. Methods Comput. Sci. 13(1) (2016) - [c116]Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS 2016: 29-42 - [c115]Hugo A. López, Flemming Nielson, Hanne Riis Nielson:
Enforcing Availability in Failure-Aware Communicating Systems. FORTE 2016: 195-211 - [c114]Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson:
Content-Dependent Security Policies in Avionics. MILS@HiPEAC 2016 - [c113]Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese:
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. ISoLA (1) 2016: 554-569 - [c112]Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
Iterated process analysis over lattice-valued regular expressions. PPDP 2016: 132-145 - [c111]Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
A Parametric Abstract Domain for Lattice-Valued Regular Expressions. SAS 2016: 338-360 - [i16]Hugo A. López, Flemming Nielson, Hanne Riis Nielson:
A Theory of Available-by-Design Communicating Systems. CoRR abs/1611.05651 (2016) - 2015
- [j43]Hanne Riis Nielson, Flemming Nielson, Roberto Vigo:
A calculus of quality for robustness against unreliable communication. J. Log. Algebraic Methods Program. 84(5): 611-639 (2015) - [c110]Hanne Riis Nielson, Flemming Nielson, Ximeng Li:
Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security 2015: 47-65 - [c109]Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Discretionary Information Flow Control for Interaction-Oriented Specifications. Logic, Rewriting, and Concurrency 2015: 427-450 - [c108]Flemming Nielson, Hanne Riis Nielson, Kebin Zeng:
Stochastic Model Checking of the Stochastic Quality Calculus. Software, Services, and Systems 2015: 522-537 - [c107]Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION 2015: 197-212 - [c106]Alessandro Bruni, Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson:
Set-Pi: Set Membership p-Calculus. CSF 2015: 185-198 - [c105]Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Factorization of Behavioral Integrity. ESORICS (2) 2015: 500-519 - [c104]Erisa Karafili, Hanne Riis Nielson, Flemming Nielson:
How to Trust the Re-use of Data. STM 2015: 72-88 - [c103]Xi Wu, Hanne Riis Nielson, Huibiao Zhu:
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. TASE 2015: 23-30 - [c102]Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng:
Disjunctive Information Flow for Communicating Processes. TGC 2015: 95-111 - 2014
- [j42]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The logic of XACML. Sci. Comput. Program. 83: 80-105 (2014) - [j41]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): 421-435 (2014) - [c101]Kebin Zeng, Flemming Nielson, Hanne Riis Nielson:
The Stochastic Quality Calculus. COORDINATION 2014: 179-193 - [c100]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Automated Generation of Attack Trees. CSF 2014: 337-350 - [c99]Shuling Wang, Flemming Nielson, Hanne Riis Nielson:
Denial-of-Service Security Attack in the Continuous-Time World. FORTE 2014: 149-165 - [c98]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Uniform Protection for Multi-exposed Targets. FORTE 2014: 182-198 - [c97]Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson:
Formal Security Analysis of the MaCAN Protocol. IFM 2014: 241-255 - [c96]Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson:
Trust-Based Enforcement of Security Policies. TGC 2014: 176-191 - [i15]Shuling Wang, Flemming Nielson, Hanne Riis Nielson:
A Framework for Hybrid Systems with Denial-of-Service Security Attack. CoRR abs/1403.6367 (2014) - 2013
- [j40]Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Predictive access control for distributed computation. Sci. Comput. Program. 78(9): 1264-1277 (2013) - [c95]Hanne Riis Nielson, Flemming Nielson:
Safety versus Security in the Quality Calculus. Theories of Programming and Formal Methods 2013: 285-303 - [c94]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: 59-68 - [c93]Hanne Riis Nielson, Flemming Nielson:
Probabilistic Analysis of the Quality Calculus. FMOODS/FORTE 2013: 258-272 - [c92]Roberto Vigo, Flemming Nielson, Hanne Riis Nielson:
Broadcast, Denial-of-Service, and Secure Communication. IFM 2013: 412-427 - [c91]Sebastian Mödersheim, Flemming Nielson, Hanne Riis Nielson:
Lazy Mobile Intruders. POST 2013: 147-166 - [e6]Hanne Riis Nielson, Dieter Gollmann:
Secure IT Systems - 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Lecture Notes in Computer Science 8208, Springer 2013, ISBN 978-3-642-41487-9 [contents] - [i14]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Design-Efficiency in Security. CoRR abs/1302.1111 (2013) - [i13]Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Pushdown Systems for Monotone Frameworks. CoRR abs/1307.4585 (2013) - 2012
- [j39]Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard:
Flow Logic for Process Calculi. ACM Comput. Surv. 44(1): 3:1-3:39 (2012) - [c90]Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Recursive Advice for Coordination. COORDINATION 2012: 137-151 - [c89]Hanne Riis Nielson, Flemming Nielson, Roberto Vigo:
A Calculus for Quality. FACS 2012: 188-204 - [c88]Fuyuan Zhang, Flemming Nielson, Hanne Riis Nielson:
Model Checking as Static Analysis: Revisited. IFM 2012: 99-112 - [c87]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Key Update Assistant for resource-constrained networks. ISCC 2012: 75-81 - [c86]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Bo Friis Nielsen:
LBTool: A stochastic toolkit for leave-based key updates. ISCC 2012: 868-875 - [c85]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
XACML 3.0 in Answer Set Programming. LOPSTR 2012: 89-105 - [c84]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Layered fixed point logic. PPDP 2012: 45-54 - [c83]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: 25-32 - [i12]Fan Yang, Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Secondary use of data in EHR systems. CoRR abs/1201.4262 (2012) - [i11]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Layered Fixed Point Logic. CoRR abs/1204.2768 (2012) - [i10]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Huibiao Zhu, Heqing Huang:
Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study. CoRR abs/1205.6664 (2012) - [i9]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson, Matthias Fruth, Marta Z. Kwiatkowska:
Optimizing ZigBee Security using Stochastic Model Checking. CoRR abs/1205.6675 (2012) - [i8]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
XACML 3.0 in Answer Set Programming. CoRR abs/1206.5327 (2012) - [i7]Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson:
Lattice based Least Fixed Point Logic. CoRR abs/1207.5384 (2012) - 2011
- [j38]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
A Secure Key Establishment Protocol for ZigBee Wireless Sensor Networks. Comput. J. 54(4): 589-601 (2011) - [j37]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): 107-149 (2011) - [j36]Han Gao, Flemming Nielson, Hanne Riis Nielson:
CaPiTo: protocol stacks for services. Formal Aspects Comput. 23(4): 541-565 (2011) - [j35]Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson:
Modal abstractions of concurrent behavior. ACM Trans. Comput. Log. 12(3): 18:1-18:40 (2011) - [c82]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: 74-89 - [c81]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: 202-218 - [c80]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The Logic of XACML. FACS 2011: 205-222 - [c79]Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson:
Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152 - [c78]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
Resilience analysis of key update strategies for resource-constrained networks. ICUMT 2011: 1-8 - [c77]Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson:
Controlling Modelling Artifacts. QEST 2011: 171-180 - [p2]Han Gao, Flemming Nielson, Hanne Riis Nielson:
Analysing Protocol Stacks for Services. Results of the SENSORIA Project 2011: 369-389 - [i6]Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson:
The Logic of XACML - Extended. CoRR abs/1110.3706 (2011) - 2010
- [j34]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Static analysis of topology-dependent broadcast networks. Inf. Comput. 208(2): 117-139 (2010) - [j33]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): 376-397 (2010) - [c76]Flemming Nielson, Hanne Riis Nielson:
Model Checking Is Static Analysis of Modal Logic. FoSSaCS 2010: 191-205 - [c75]Flemming Nielson, Han Gao, Hanne Riis Nielson:
The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1 - [c74]Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson:
Model Checking Multivariate State Rewards. QEST 2010: 7-16 - [c73]Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Probabilistic Aspects: Checking Security in an Imperfect World. TGC 2010: 348-363 - [c72]Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson:
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. TAPAS@SAS 2010: 15-28
2000 – 2009
- 2009
- [j32]Hanne Riis Nielson, Flemming Nielson:
A monotone framework for CCS. Comput. Lang. Syst. Struct. 35(4): 365-394 (2009) - [c71]Chris Hankin, Flemming Nielson, Hanne Riis Nielson:
Advice from Belnap Policies. CSF 2009: 234-247 - [c70]Ender Yüksel, Hanne Riis Nielson, Flemming Nielson:
A secure key establishment protocol for zigbee wireless sensor networks. ISCIS 2009: 340-345 - 2008
- [j31]Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson:
Pathway analysis for BioAmbients. J. Log. Algebraic Methods Program. 77(1-2): 92-130 (2008) - [c69]René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst:
Static Validation of Licence Conformance Policies. ARES 2008: 1104-1111 - [c68]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: 100-116 - [c67]Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang:
Advice for Coordination. COORDINATION 2008: 153-168 - [c66]Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Iterative Specialisation of Horn Clauses. ESOP 2008: 131-145 - [c65]Jörg Bauer, Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard:
Relational Analysis of Correlation. SAS 2008: 32-46 - [c64]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Modal Abstractions of Concurrent Behaviour. SAS 2008: 159-173 - [e5]Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan:
Scalable Program Analysis, 13.04. - 18.04.2008. Dagstuhl Seminar Proceedings 08161, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [i5]Florian Martin, Hanne Riis Nielson, Claudio Riva, Markus Schordan:
08161 Abstracts Collection - Scalable Program Analysis. Scalable Program Analysis 2008 - 2007
- [b6]Hanne Riis Nielson, Flemming Nielson:
Semantics with Applications: An Appetizer. Undergraduate Topics in Computer Science, Springer 2007, ISBN 978-1-84628-691-9, pp. i-xii, 1-274 - [j30]Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard:
What is a free name in a process algebra? Inf. Process. Lett. 103(5): 188-194 (2007) - [c63]Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson:
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols. ASIAN 2007: 150-165 - [c62]Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240 - [c61]Hanne Riis Nielson, Flemming Nielson:
A flow-sensitive analysis of privacy properties. CSF 2007: 249-264 - [c60]Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard:
Relational Analysis for Delivery of Services. TGC 2007: 73-89 - [c59]Flemming Nielson, Hanne Riis Nielson:
Heuristics for Safety and Security Constraints. Computation, Meaning, and Logic 2007: 523-543 - [e4]Hanne Riis Nielson, Gilberto Filé:
Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Lecture Notes in Computer Science 4634, Springer 2007, ISBN 978-3-540-74060-5 [contents] - 2006
- [j29]Christoffer Rosenkilde Nielsen, Hanne Riis Nielson:
Static Analysis for Blinding. Nord. J. Comput. 13(1-2): 98-116 (2006) - [c58]Han Gao, Hanne Riis Nielson:
Analysis of LYSA-calculus with explicit confidentiality annotations. AINA (2) 2006: 39-43 - [c57]Ye Zhang, Hanne Riis Nielson:
Analyzing Security Protocols in Hierarchical Networks. ATVA 2006: 430-445 - [c56]Flemming Nielson, Hanne Riis Nielson:
Types from Control Flow Analysis. Program Analysis and Compilation 2006: 293-310 - [c55]Hanne Riis Nielson, Flemming Nielson:
Data Flow Analysis for CCS. Program Analysis and Compilation 2006: 311-327 - [c54]Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson:
Active Evaluation Contexts for Reaction Semantics. SOS@CONCUR 2006: 57-70 - [c53]Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Cryptographic Pattern Matching. VODCA@FOSAD 2006: 91-107 - [e3]David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Dagstuhl Seminar Proceedings 06161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [e2]Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson:
Transactions on Computational Systems Biology VII. Lecture Notes in Computer Science 4230, Springer 2006, ISBN 3-540-48837-5 [contents] - [i4]