Mads Dam

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 17

Top Topics

Formal Verification

Information Flow

Top Venues

Publications

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam
HOL4P4: Mechanized Small-Step Semantics for P4. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Andreas Lindner, Roberto Guanciale, Mads Dam
Proof-Producing Symbolic Execution for Binary Code Verification. CoRR (2023)
Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw
Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor. FMCAD (2023)
Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati
A Case Study in Information Flow Refinement for Low Level Systems. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog
HOL4P4: semantics for a verified data plane. EuroP4@CoNEXT (2022)
Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam
Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. FMCAD (2022)
Ning Dong, Roberto Guanciale, Mads Dam
Refinement-Based Verification of Device-to-Device Information Flow. FMCAD (2021)
Christoph Baumann, Mads Dam, Roberto Guanciale, Hamed Nemati
On Compositional Information Flow Aware Refinement. CSF (2021)
Roberto Guanciale, Musard Balliu, Mads Dam
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. CCS (2020)
Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam
Hoare-Style Logic for Unstructured Programs. SEFM (2020)
Christoph Baumann, Oliver Schwarz, Mads Dam
On the verification of system-level information flow properties for virtualized execution platforms. J. Cryptogr. Eng. 9 (3) (2019)
Musard Balliu, Mads Dam, Roberto Guanciale
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. CoRR (2019)
Hamed Nemati, Christoph Baumann, Roberto Guanciale, Mads Dam
Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels. POST (2018)
Christoph Baumann, Oliver Schwarz, Mads Dam
Compositional Verification of Security Properties for Embedded Execution Platforms. PROOFS (2017)
Roberto Guanciale, Hamed Nemati, Mads Dam, Christoph Baumann
Provably secure memory isolation for Linux on ARM. J. Comput. Secur. 24 (6) (2016)
Roberto Guanciale, Hamed Nemati, Christoph Baumann, Mads Dam
Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures. IEEE Symposium on Security and Privacy (2016)
Oliver Schwarz, Mads Dam
Automatic Derivation of Platform Noninterference Properties. SEFM (2016)
Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens
Security monitor inlining and certification for multithreaded Java. Math. Struct. Comput. Sci. 25 (3) (2015)
Hamed Nemati, Roberto Guanciale, Mads Dam
Trustworthy Virtualization of the ARMv7 Memory Subsystem. SOFSEM (2015)
Hind Chfouka, Hamed Nemati, Roberto Guanciale, Mads Dam, Patrik Ekdahl
Trustworthy Prevention of Code Injection in Linux on Embedded Devices. ESORICS (1) (2015)
Mads Dam, Karl Palmskog
Location-independent routing in process network overlays. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Hamed Nemati, Mads Dam, Roberto Guanciale, Viktor Do, Arash Vahidi
Trustworthy Memory Isolation of Linux on Embedded Devices. TRUST (2015)
Mads Dam, Karl Palmskog
Location Independent Routing in Process Network Overlays. PDP (2014)
Musard Balliu, Mads Dam, Roberto Guanciale
Automating Information Flow Analysis of Low Level Code. CCS (2014)
Oliver Schwarz, Mads Dam
Formal Verification of Secure User Mode Device Execution with DMA. Haifa Verification Conference (2014)
Mads Dam, Karl Palmskog
Efficient and fully abstract routing of futures in object network overlays. AGERE!@SPLASH (2013)
Karl Palmskog, Mads Dam, Andreas Lundblad, Ali Jafari
ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects. ICE (2013)
Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz
Formal verification of information flow security for a simple arm-based separation kernel. CCS (2013)
Mads Dam, Roberto Guanciale, Hamed Nemati
Machine code verification of a tiny ARM hypervisor. TrustED@CCS (2013)
Narges Khakpour, Oliver Schwarz, Mads Dam
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties. CPP (2013)
Musard Balliu, Mads Dam, Gurvan Le Guernic
Epistemic Temporal Logic for Information Flow Security CoRR (2012)
Mads Dam, Gurvan Le Guernic, Andreas Lundblad
TreeDroid: a tree automaton based approach to enforcing data processing policies. CCS (2012)
Musard Balliu, Mads Dam, Gurvan Le Guernic
ENCoVer: Symbolic Exploration for Information Flow Security. CSF (2012)
Musard Balliu, Mads Dam, Gurvan Le Guernic
Epistemic temporal logic for information flow security. PLAS (2011)
Dimitar P. Guelev, Mads Dam
for Finite Control π-Processes. Electron. Notes Theor. Comput. Sci. 278 (2011)
Supriya Krishnamurthy, John Ardelius, Erik Aurell, Mads Dam, Rolf Stadler, Fetahi Wuhib
The Accuracy of Tree-based Counting in Dynamic Networks CoRR (2010)
Fetahi Wuhib, Mads Dam, Rolf Stadler
A gossiping protocol for detecting global threshold crossings. IEEE Trans. Netw. Serv. Manag. 7 (1) (2010)
Supriya Krishnamurthy, John Ardelius, Erik Aurell, Mads Dam, Rolf Stadler, Fetahi Zebenigus Wuhib
Brief announcement: the accuracy of tree-based counting in dynamic networks. PODC (2010)
Gunnar Kreitz, Mads Dam, Douglas Wikström
Practical Private Information Aggregation in Large Networks. NordSec (2010)
Mads Dam, Andreas Lundblad
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode CoRR (2010)
Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens
Provably correct inline monitoring for multithreaded Java-like programs. J. Comput. Secur. 18 (1) (2010)
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI (2009)
Irem Aktug, Mads Dam, Dilian Gurov
Provably correct runtime monitoring. J. Log. Algebraic Methods Program. 78 (5) (2009)
Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens
Security Monitor Inlining for Multithreaded Java. ECOOP (2009)
Fetahi Wuhib, Rolf Stadler, Mads Dam
Gossiping for threshold detection. Integrated Network Management (2009)
Fetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm
Robust monitoring of network-wide aggregates through gossiping. IEEE Trans. Netw. Serv. Manag. 6 (2) (2009)
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA (2009)
Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo
Abstraction in model checking multi-agent systems. AAMAS (2) (2009)
Fetahi Wuhib, Mads Dam, Rolf Stadler
Decentralized detection of global threshold crossings using aggregation trees. Comput. Networks 52 (9) (2008)
Irem Aktug, Mads Dam, Dilian Gurov
Provably Correct Runtime Monitoring. FM (2008)
Rolf Stadler, Mads Dam, Alberto Gonzalez Prieto, Fetahi Wuhib
Decentralized real-time monitoring of network-wide aggregates. LADIS (2008)
Fetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm
Robust Monitoring of Network-wide Aggregates through Gossiping. Integrated Network Management (2007)
Mika Cohen, Mads Dam
A Complete Axiomatization of Knowledge and Cryptography. LICS (2007)
Mads Dam
Decidability and proof systems for language-based noninterference relations. POPL (2006)
Fetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm
Decentralized Computation of Threshold Crossing Alerts. DSOM (2005)
Pablo Giambiagi, Mads Dam
On the secure implementation of security protocols. Sci. Comput. Program. 50 (1-3) (2004)
Christoph Sprenger, Mads Dam
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. FoSSaCS (2003)
Mads Dam
Regular SPKI. Security Protocols Workshop (2003)
Mads Dam, Lars-Åke Fredlund, Dillian Guruv
Formal Methods Research at SICS and KTH: An Overview. Electron. Notes Theor. Comput. Sci. 80 (2003)
Christoph Sprenger, Mads Dam
On global induction mechanisms in a µ-calculus with explicit approximations. RAIRO Theor. Informatics Appl. 37 (4) (2003)
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Pablo Giambiagi, Mads Dam
On the Secure Implementation of Security Protocols. ESOP (2003)
Mads Dam
Regular SPKI (Discussion). Security Protocols Workshop (2003)
Mads Dam, Dilian Gurov
µ-Calculus with Explicit Points and Approximations. J. Log. Comput. 12 (2) (2002)
Olav L. Bandmann, Babak Sadighi Firozabadi, Mads Dam
Constrained Delegation. IEEE Symposium on Security and Privacy (2002)
Christoph Sprenger, Mads Dam
A note on global induction in a mu-calculus with explicit approximations. FICS (2002)
Mads Dam, Pablo Giambiagi
Confidentiality for Mobile Code: The Case of a Simple Payment Protocol. CSFW (2000)
Thomas Arts, Mads Dam
Verifying a Distributed Database Lookup Manager Written in Erlang. World Congress on Formal Methods (1999)
Mads Dam, Dilian Gurov
Compositional Verification of CCS Processes. Ershov Memorial Conference (1999)
Mads Dam, Lars-Åke Fredlund
On the verification of open distributed systems. SAC (1998)
Mads Dam
Proving Trust in Systems of 2nd-Order Processes: Preliminary Results. HICSS (7) (1998)
José-Luis Vivas, Mads Dam
From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. CONCUR (1998)
Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
System Description: Verification of Distributed Erlang Programs. CADE (1998)
Mads Dam
Proving Properties of Dynamic Process Networks. Inf. Comput. 140 (2) (1998)
Mads Dam, Lars-Åke Fredlund, Dilian Gurov
Toward Parametric Verification of Open Distributed Systems. COMPOS (1997)
Mads Dam
On the Decidability of Process Equivalences for the pi-Calculus. Theor. Comput. Sci. 183 (2) (1997)
Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS (1996)
Mads Dam
Modalities in Analysis and Verification. ACM Comput. Surv. 28 (2) (1996)
Mads Dam
Model Checking Mobile Processes. Inf. Comput. 129 (1) (1996)
Roberto M. Amadio, Mads Dam
Toward a Modal Theory of Types for the pi-Calculus. FTRTFT (1996)
Mads Dam
On the Decidability of Process Equivalences for the pi-calculus. AMAST (1995)
Roberto M. Amadio, Mads Dam
Reasoning about Higher-Order Processes. TAPSOFT (1995)
Mads Dam
Compositional Proof Systems for Model Checking Infinite State Processes. CONCUR (1995)
Mads Dam
CTL* and ECTL* as Fragments of the Modal mu-Calculus. Theor. Comput. Sci. 126 (1) (1994)
Mads Dam
Process-Algebraic Interpretations of Positive Linear and Relevant Logics. J. Log. Comput. 4 (6) (1994)
Mads Dam
Model Checking Mobile Processes. CONCUR (1993)
Mads Dam
Fixed Points of Büchi Automata. FSTTCS (1992)
Mads Dam
R-Generability, and Definability in Branching Time Logics. Inf. Process. Lett. 41 (5) (1992)
Mads Dam
CTL* and ECTL* as Fragments of the Modal µ-Calculus. CAAP (1992)
Mads Dam
Relevance Logic and Concurrent Composition LICS (1988)
Mads Dam, Frank Jensen
Compiler Generation from Relational Semantics. ESOP (1986)