( en | de | ru )

 

Disambiguierung von "Dam, Mads"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Derivation of Platform Noninterference Properties.

, und . SEFM, Volume 9763 von Lecture Notes in Computer Science, Seite 27-44. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mads Rosendahl

Mads Grünberg

Mads Kyed

Renate Dam

Ria Dam

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification of Secure User Mode Device Execution with DMA., und . Haifa Verification Conference, Volume 8855 von Lecture Notes in Computer Science, Seite 236-251. Springer, (2014)CTL* and ECTL* as Fragments of the Modal µ-Calculus.. CAAP, Volume 581 von Lecture Notes in Computer Science, Seite 145-164. Springer, (1992)On the Decidability of Process Equivalences for the pi-calculus.. AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 169-183. Springer, (1995)Gossiping for threshold detection., , und . Integrated Network Management, Seite 259-266. IEEE, (2009)Hoare-Style Logic for Unstructured Programs., , , und . SEFM, Volume 12310 von Lecture Notes in Computer Science, Seite 193-213. Springer, (2020)On the secure implementation of security protocols., und . Sci. Comput. Program., 50 (1-3): 73-99 (2004)Relevance Logic and Concurrent Composition. LICS, Seite 178-185. IEEE Computer Society, (1988)On Compositional Information Flow Aware Refinement., , , und . CSF, Seite 1-16. IEEE, (2021)Efficient and fully abstract routing of futures in object network overlays., und . AGERE!@SPLASH, Seite 49-60. ACM, (2013)Decidability and proof systems for language-based noninterference relations.. POPL, Seite 67-78. ACM, (2006)