Flemming Nielson

Static validation of security protocols

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · Journal of Computer Security · 2005 · 121 citations

Engineering, Information Security, Verification +23

Infinitary control flow analysis

Flemming Nielson, Hanne Riis Nielson · 1997 · 115 citations · Full text

Engineering, Verification, Semantics +17

Automatic validation of protocol narration

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano et al. · 2004 · 95 citations

Engineering, Information Security, Verification +24

Higher-Order Concurrent Programs with Finite Communication Topology

Hanne Riis Nielson, Flemming Nielson · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 1994 · 93 citations

Engineering, Software Engineering, Concurrent System +16

Higher-order concurrent programs with finite communication topology (extended abstract)

Hanne Riis Nielson, Flemming Nielson · 1994 · 93 citations

Engineering, Computer Architecture, Concurrent System +16