PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Radomirovic, Sasa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A framework for compositional verification of security protocols.

, , , , , und . Inf. Comput., 206 (2-4): 425-459 (2008)

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.

Sasa Milojevic University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A framework for compositional verification of security protocols., , , , , und . Inf. Comput., 206 (2-4): 425-459 (2008)A Construction of Short Sequences Containing All Permutations of a Set as Subsequences.. Electr. J. Comb., 19 (4): P31 (2012)On a New Formal Proof Model for RFID Location Privacy (Extended Version)., und . IACR Cryptology ePrint Archive, (2008)Generalizing Multi-party Contract Signing., und . POST, Volume 9036 von Lecture Notes in Computer Science, Seite 156-175. Springer, (2015)Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR., , , und . CSF, Seite 359-373. IEEE Computer Society, (2018)Security Protocols for Secret Santa., , und . Security Protocols Workshop, Volume 7061 von Lecture Notes in Computer Science, Seite 175-184. Springer, (2010)Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks., , und . Electron. Notes Theor. Comput. Sci., 197 (2): 31-43 (2008)mCarve: Carving Attributed Dump Sets., , und . USENIX Security Symposium, USENIX Association, (2011)Improving the Security of Cryptographic Protocol Standards., , , , und . IEEE Security & Privacy, 13 (3): 24-31 (2015)Minimal Message Complexity of Asynchronous Multi-party Contract Signing., , und . CSF, Seite 13-25. IEEE Computer Society, (2009)