Mads Dam - RankMe

102 papers A* 10A 7B 15C 2Misc 1Journal 29Unranked 34

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