Compiler Generation from Relational Semantics. - Mads Dam; Frank Jensen (ESOP, 1986)

Relevance Logic and Concurrent Composition - Mads Dam (LICS, 1988)

CTL* and ECTL* as Fragments of the Modal µ-Calculus. - Mads Dam (CAAP, 1992)

Fixed Points of Büchi Automata. - Mads Dam (FSTTCS, 1992)

R-Generability, and Definability in Branching Time Logics. - Mads Dam (Inf. Process. Lett., 1992)

Process-Algebraic Interpretations of Positive Linear and Relevant Logics. - Mads Dam (J. Log. Comput., 1994)

CTL* and ECTL* as Fragments of the Modal mu-Calculus. - Mads Dam (Theor. Comput. Sci., 1994)

Compositional Proof Systems for Model Checking Infinite State Processes. - Mads Dam (CONCUR, 1995)

Reasoning about Higher-Order Processes. - Roberto M. Amadio; Mads Dam (TAPSOFT, 1995)

Toward a Modal Theory of Types for the pi-Calculus. - Roberto M. Amadio; Mads Dam (FTRTFT, 1996)

Logical and Operational Methods in the Analysis of Programs and Systems. - Flemming Nielson; Patrick Cousot; Mads Dam; Pierpaolo Degano; Pierre Jouvelot; Alan Mycroft; Bent Thomsen (LOMAPS, 1996)

Modalities in Analysis and Verification. - Mads Dam (ACM Comput. Surv., 1996)

Model Checking Mobile Processes. - Mads Dam (Inf. Comput., 1996)

Toward Parametric Verification of Open Distributed Systems. - Mads Dam; Lars-Åke Fredlund; Dilian Gurov (COMPOS, 1997)

On the Decidability of Process Equivalences for the pi-Calculus. - Mads Dam (Theor. Comput. Sci., 1997)

System Description: Verification of Distributed Erlang Programs. - Thomas Arts; Mads Dam; Lars-Åke Fredlund; Dilian Gurov (CADE, 1998)

From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. - José-Luis Vivas; Mads Dam (CONCUR, 1998)

Proving Trust in Systems of 2nd-Order Processes: Preliminary Results. - Mads Dam (HICSS (7), 1998)

On the verification of open distributed systems. - Mads Dam; Lars-Åke Fredlund (SAC, 1998)

Proving Properties of Dynamic Process Networks. - Mads Dam (Inf. Comput., 1998)

Compositional Verification of CCS Processes. - Mads Dam; Dilian Gurov (Ershov Memorial Conference, 1999)

Verifying a Distributed Database Lookup Manager Written in Erlang. - Thomas Arts; Mads Dam (World Congress on Formal Methods, 1999)

Confidentiality for Mobile Code: The Case of a Simple Payment Protocol. - Mads Dam; Pablo Giambiagi (CSFW, 2000)

A note on global induction in a mu-calculus with explicit approximations. - Christoph Sprenger 001; Mads Dam (FICS, 2002)

Constrained Delegation. - Olav L. Bandmann; Babak Sadighi Firozabadi; Mads Dam (S&P, 2002)

µ-Calculus with Explicit Points and Approximations. - Mads Dam; Dilian Gurov (J. Log. Comput., 2002)

Proof Systems for π-Calculus Logics. - Mads Dam (Logic for Concurrency and Synchronisation, 2003)

On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. - Christoph Sprenger 001; Mads Dam (FoSSaCS, 2003)

Regular SPKI. - Mads Dam (Security Protocols Workshop, 2003)

Regular SPKI (Discussion). - Mads Dam (Security Protocols Workshop, 2003)

Formal Methods Research at SICS and KTH: An Overview. - Mads Dam; Lars-Åke Fredlund; Dilian Gurov (FMICS, 2003)

On global induction mechanisms in a µ-calculus with explicit approximations. - Christoph Sprenger 001; Mads Dam (RAIRO Theor. Informatics Appl., 2003)

A verification tool for ERLANG. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001; Mads Dam; Thomas Arts; Gennady Chugunov (Int. J. Softw. Tools Technol. Transf., 2003)

On the secure implementation of security protocols. - Pablo Giambiagi; Mads Dam (Sci. Comput. Program., 2004)

Decentralized Computation of Threshold Crossing Alerts. - Fetahi Wuhib; Mads Dam; Rolf Stadler; Alexander Clemm (DSOM, 2005)

Decidability and proof systems for language-based noninterference relations. - Mads Dam (POPL, 2006)

A Complete Axiomatization of Knowledge and Cryptography. - Mika Cohen; Mads Dam (LICS, 2007)

Decentralized real-time monitoring of network-wide aggregates. - Rolf Stadler; Mads Dam; Alberto Gonzalez Prieto; Fetahi Wuhib (LADIS, 2008)

Decentralized detection of global threshold crossings using aggregation trees. - Fetahi Wuhib; Mads Dam; Rolf Stadler (Comput. Networks, 2008)

Abstraction in model checking multi-agent systems. - Mika Cohen; Mads Dam; Alessio Lomuscio; Francesco Russo 003 (AAMAS (2), 2009)

A Data Symmetry Reduction Technique for Temporal-epistemic Logic. - Mika Cohen; Mads Dam; Alessio Lomuscio; Hongyang Qu 001 (ATVA, 2009)

Security Monitor Inlining for Multithreaded Java. - Mads Dam; Bart Jacobs 002; Andreas Lundblad; Frank Piessens (ECOOP, 2009)

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. - Mika Cohen; Mads Dam; Alessio Lomuscio; Hongyang Qu 001 (IJCAI, 2009)

Gossiping for threshold detection. - Fetahi Wuhib; Rolf Stadler; Mads Dam (Integrated Network Management, 2009)

Provably correct runtime monitoring. - Irem Aktug; Mads Dam; Dilian Gurov (J. Log. Algebraic Methods Program., 2009)

Robust monitoring of network-wide aggregates through gossiping. - Fetahi Wuhib; Mads Dam; Rolf Stadler; Alexander Clemm (IEEE Trans. Netw. Serv. Manag., 2009)

Towards Flexible and Secure Distributed Aggregation. - Kristján Valur Jónsson; Mads F. Dam (AIMS, 2010)

Practical Private Information Aggregation in Large Networks. - Gunnar Kreitz; Mads Dam; Douglas Wikström (NordSec, 2010)

Brief announcement: the accuracy of tree-based counting in dynamic networks. - Supriya Krishnamurthy; John Ardelius; Erik Aurell; Mads Dam; Rolf Stadler; Fetahi Zebenigus Wuhib (PODC, 2010)

The Accuracy of Tree-based Counting in Dynamic Networks - Supriya Krishnamurthy; John Ardelius; Erik Aurell; Mads Dam; Rolf Stadler; Fetahi Wuhib (CoRR, 2010)

A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode - Mads Dam; Andreas Lundblad (CoRR, 2010)

Provably correct inline monitoring for multithreaded Java-like programs. - Mads Dam; Bart Jacobs 002; Andreas Lundblad; Frank Piessens (J. Comput. Secur., 2010)

A gossiping protocol for detecting global threshold crossings. - Fetahi Wuhib; Mads Dam; Rolf Stadler (IEEE Trans. Netw. Serv. Manag., 2010)

In-Network Monitoring. - Danny Raz; Rolf Stadler; Constantine Elster; Mads Dam (Algorithms for Next Generation Networks, 2010)

Epistemic temporal logic for information flow security. - Musard Balliu; Mads Dam; Gurvan Le Guernic (PLAS, 2011)

An Epistemic Predicate CTL* for Finite Control π-Processes. - Dimitar P. Guelev; Mads Dam (M4M/LAMAS, 2011)

TreeDroid: a tree automaton based approach to enforcing data processing policies. - Mads Dam; Gurvan Le Guernic; Andreas Lundblad (CCS, 2012)

ENCoVer: Symbolic Exploration for Information Flow Security. - Musard Balliu; Mads Dam; Gurvan Le Guernic (CSF, 2012)

Efficient and fully abstract routing of futures in object network overlays. - Mads Dam; Karl Palmskog (AGERE!@SPLASH, 2013)

Formal verification of information flow security for a simple arm-based separation kernel. - Mads Dam; Roberto Guanciale; Narges Khakpour; Hamed Nemati; Oliver Schwarz (CCS, 2013)

Machine code verification of a tiny ARM hypervisor. - Mads Dam; Roberto Guanciale; Hamed Nemati (TrustED@CCS, 2013)

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. - Narges Khakpour; Oliver Schwarz; Mads Dam (CPP, 2013)

ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects. - Karl Palmskog; Mads Dam; Andreas Lundblad; Ali Jafari (ICE, 2013)

Automating Information Flow Analysis of Low Level Code. - Musard Balliu; Mads Dam; Roberto Guanciale (CCS, 2014)

Formal Verification of Secure User Mode Device Execution with DMA. - Oliver Schwarz; Mads Dam (Haifa Verification Conference, 2014)

Trustworthy Prevention of Code Injection in Linux on Embedded Devices. - Hind Chfouka; Hamed Nemati; Roberto Guanciale; Mads Dam; Patrik Ekdahl (ESORICS (1), 2015)

Trustworthy Virtualization of the ARMv7 Memory Subsystem. - Hamed Nemati; Roberto Guanciale; Mads Dam (SOFSEM, 2015)

Trustworthy Memory Isolation of Linux on Embedded Devices. - Hamed Nemati; Mads Dam; Roberto Guanciale; Viktor Do; Arash Vahidi (TRUST, 2015)

Security monitor inlining and certification for multithreaded Java. - Mads Dam; Bart Jacobs 002; Andreas Lundblad; Frank Piessens (Math. Struct. Comput. Sci., 2015)

Location-independent routing in process network overlays. - Mads Dam; Karl Palmskog (Serv. Oriented Comput. Appl., 2015)

Automatic Derivation of Platform Noninterference Properties. - Oliver Schwarz; Mads Dam (SEFM, 2016)

Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures. - Roberto Guanciale; Hamed Nemati; Christoph Baumann; Mads Dam (IEEE Symposium on Security and Privacy, 2016)

Provably secure memory isolation for Linux on ARM. - Roberto Guanciale; Hamed Nemati; Mads Dam; Christoph Baumann (J. Comput. Secur., 2016)

Compositional Verification of Security Properties for Embedded Execution Platforms. - Christoph Baumann; Oliver Schwarz; Mads Dam (PROOFS, 2017)

Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels. - Hamed Nemati; Christoph Baumann; Roberto Guanciale; Mads Dam (POST, 2018)

On the verification of system-level information flow properties for virtualized execution platforms. - Christoph Baumann; Oliver Schwarz; Mads Dam (J. Cryptogr. Eng., 2019)

InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. - Roberto Guanciale; Musard Balliu; Mads Dam (CCS, 2020)

Hoare-Style Logic for Unstructured Programs. - Didrik Lundberg; Roberto Guanciale; Andreas Lindner; Mads Dam (SEFM, 2020)

On Compositional Information Flow Aware Refinement. - Christoph Baumann; Mads Dam; Roberto Guanciale; Hamed Nemati (CSF, 2021)

Refinement-Based Verification of Device-to-Device Information Flow. - Ning Dong; Roberto Guanciale; Mads Dam (FMCAD, 2021)

A Case Study in Information Flow Refinement for Low Level Systems. - Roberto Guanciale; Christoph Baumann; Pablo Buiras; Mads Dam; Hamed Nemati (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

HOL4P4: semantics for a verified data plane. - Anoud Alshnakat; Didrik Lundberg; Roberto Guanciale; Mads Dam; Karl Palmskog (EuroP4@CoNEXT, 2022)

Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. - Karl Palmskog; Xiaomo Yao; Ning Dong; Roberto Guanciale; Mads Dam (FMCAD, 2022)

Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor. - Ning Dong; Roberto Guanciale; Mads Dam; Andreas Lööw (FMCAD, 2023)

Proof-Producing Symbolic Execution for Binary Code Verification. - Andreas Lindner; Roberto Guanciale; Mads Dam (CoRR, 2023)

Proof-Producing Symbolic Execution for P4. - Didrik Lundberg; Roberto Guanciale; Mads Dam (VSTTE, 2024)

HOL4P4: Mechanized Small-Step Semantics for P4. - Anoud Alshnakat; Didrik Lundberg; Roberto Guanciale; Mads Dam (Proc. ACM Program. Lang., 2024)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic. - Mads Dam; Hamed Nemati (CoRR, 2025)

Securing P4 Programs by Information Flow Control. - Anoud Alshnakat; Amir M. Ahmadian; Musard Balliu; Roberto Guanciale; Mads Dam (CoRR, 2025)