Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Mads Dam

A Gossiping Protocol for Detecting Global Threshold Crossings

IEEE Transactions on Network and Service Management
Computer NetworksElectronic EngineeringElectricalCommunications
2010English

Trustworthy Virtualization of the ARMv7 Memory Subsystem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Formal Verification of Secure User Mode Device Execution With DMA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Provably Correct Inline Monitoring for Multithreaded Java-Like Programs

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2010English

Decentralized Detection of Global Threshold Crossings Using Aggregation Trees

Computer Networks
Computer NetworksCommunications
2008English

On the Secure Implementation of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Gossiping for Threshold Detection

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy