Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Mads Dam
Researcher
PaperA Proof Carrying Code Framework for Inlined Reference Monitors in Java BytecodeAuthorship / preprint / 2010PaperEpistemic Temporal Logic for Information Flow SecurityAuthorship / preprint / 2012PaperABS-NET: Fully Decentralized Runtime Adaptation for Distributed ObjectsAuthorship / preprint / 2013PaperInSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal AnalysisAuthorship / preprint / 2020PaperForward Symbolic Execution for Trustworthy Automation of Binary Code VerificationAuthorship / preprint / 2026PaperThe Accuracy of Tree-based Counting in Dynamic NetworksAuthorship / preprint / 2010