Mads Dam

Identifiers

• name variant Mads Dam 0.60 · backfill

Papers (4)

1. Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic cs.LO · 2025 · author #2
2. Epistemic Temporal Logic for Information Flow Security cs.CR · 2012 · author #2
3. A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode cs.LO · 2010 · author #1
4. The Accuracy of Tree-based Counting in Dynamic Networks cs.DC · 2010 · author #4

Mentions

• 2502.18885 #2 · arxiv_oai · confidence 0.70 Mads Dam
• 1208.6106 #2 · backfill · confidence 0.70 Mads Dam
• 1012.2995 #1 · backfill · confidence 0.70 Mads Dam
• 1004.4559 #4 · backfill · confidence 0.70 Mads Dam

Frequent Coauthors

• Andreas Lundblad 1 shared papers
• Erik Aurell 1 shared papers
• Fetahi Wuhib 1 shared papers
• Gurvan Le Guernic 1 shared papers
• Hamed Nemati 1 shared papers
• John Ardelius 1 shared papers
• Musard Balliu 1 shared papers
• Rolf Stadler 1 shared papers
• Supriya Krishnamurthy 1 shared papers