Concepedia

Mads Dam

MD

33

Publications

1.3K

Citations

23

H-Index

1994

Active since

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.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsVerificationSoftware AnalysisData SecurityInformation SecurityProgram AnalysisAutomated Reasoning

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

Automated Reasoning, Modal Logic, Classical Logic

Model Checking Mobile Processes

Mads Dam · Information and Computation · 1996 · 96 citations

Engineering, Formal Modeling, Verification +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

Resource Constraint, Dependency Analysis, Engineering +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

Engineering, Information Security, Verification +22

Rows per page

1–5 of 33