PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cohen, Ernie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Machine-Checked Proof of Security for AWS Key Management Service.

, , , , , , , , , und . CCS, Seite 63-78. ACM, (2019)

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.

Keine Personen gefunden für den Autorennamen Cohen, Ernie
Eine Person hinzufügen mit dem Namen Cohen, Ernie
 

Weitere Publikationen von Autoren mit dem selben Namen

Data Abstraction in VCC.. Engineering Dependable Software Systems, Volume 34 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2013)The Convergence Span of Greedy Load Balancing.. Inf. Process. Lett., 52 (4): 181-182 (1994)A note on the complexity of propositional Hoare logic., und . ACM Trans. Comput. Log., 1 (1): 171-174 (2000)Hypothesis Elimination in Kleene Semirings.. CoRR, (2014)Weak Kleene Algebra is Sound and (Possibly) Complete for Simulation. CoRR, (2009)TAPS: A First-Order Verifier for Cryptographic Protocols.. CAV, Volume 1855 von Lecture Notes in Computer Science, Seite 568-571. Springer, (2000)VCC: A Practical System for Verifying Concurrent C., , , , , , , und . TPHOLs, Volume 5674 von Lecture Notes in Computer Science, Seite 23-42. Springer, (2009)Invariants, Modularity, and Rights., , , , , , , , , und 11 andere Autor(en). Ershov Memorial Conference, Volume 5947 von Lecture Notes in Computer Science, Seite 43-55. Springer, (2009)A Precise Yet Efficient Memory Model For C., , , und . Electron. Notes Theor. Comput. Sci., (2009)Modular specification and verification of interprocess communication., , , und . FMCAD, Seite 167-174. IEEE, (2010)