PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dam, Mads"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of Secure User Mode Device Execution with DMA.

, and . Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 236-251. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thibault Damiens Vanrapenbusch University of Stuttgart

 

Other publications of authors with the same name

On the secure implementation of security protocols., and . Sci. Comput. Program., 50 (1-3): 73-99 (2004)Security monitor inlining and certification for multithreaded Java., , , and . Mathematical Structures in Computer Science, 25 (3): 528-565 (2015)Robust Monitoring of Network-wide Aggregates through Gossiping., , , and . Integrated Network Management, page 226-235. IEEE, (2007)Gossiping for threshold detection., , and . Integrated Network Management, page 259-266. IEEE, (2009)A Complete Axiomatization of Knowledge and Cryptography., and . LICS, page 77-88. IEEE Computer Society, (2007)Robust monitoring of network-wide aggregates through gossiping., , , and . IEEE Trans. Network and Service Management, 6 (2): 95-109 (2009)Trustworthy Memory Isolation of Linux on Embedded Devices., , , , and . TRUST, volume 9229 of Lecture Notes in Computer Science, page 125-142. Springer, (2015)Formal Verification of Secure User Mode Device Execution with DMA., and . Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 236-251. Springer, (2014)CTL* and ECTL* as Fragments of the Modal µ-Calculus.. CAAP, volume 581 of Lecture Notes in Computer Science, page 145-164. Springer, (1992)On the Decidability of Process Equivalences for the pi-calculus.. AMAST, volume 936 of Lecture Notes in Computer Science, page 169-183. Springer, (1995)