Concepedia

Mads Dam

MD

Statistics

Publications

33

Citations

1.3K

H-Index

23

Active since

1994

Affiliations

KTH Royal Institute of Technology(Current)

Swedish Institute

Kista Photonics Research Center

Linnaeus University

Cisco Systems (United States)

Mads Dam is an author at KTH Royal Institute of Technology specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

1994–2020

33

Publications

33

CTL∗ and ECTL∗ as fragments of the modal μ-calculus

Mads Dam · Theoretical Computer Science · 1994 · 159 citations

, ,

Model Checking Mobile Processes

Mads Dam · Information and Computation · 1996 · 96 citations

, , +10

A GENERIC PROTOCOL FOR NETWORK STATE AGGREGATION

Mads Dam, Rolf Stadler · 2005 · 73 citations

Constrained delegation

Olav Bandmann, Mads Dam, Babak Sadighi Firozabadi · 2005 · 73 citations

, , +15

Formal verification of information flow security for a simple arm-based separation kernel

Mads Dam, Roberto Guanciale, Narges Khakpour et al. · 2013 · 72 citations · Full text

, , +22

1–5 of 33