Autor der Publikation

Parallelizable Authentication Trees.

, und . Selected Areas in Cryptography, Volume 3897 von Lecture Notes in Computer Science, Seite 95-109. Springer, (2005)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Predicate Transformer Approach to Semantics of Parallel Programs., , und . PODC, Seite 249-263. ACM, (1989)On Model-Checking for Fragments of µ-Calculus., , und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 385-396. Springer, (1993)Almost Optimal Bounds for Direct Product Threshold Theorem.. TCC, Volume 5978 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2010)Dual-System Simulation-Soundness with Applications to UC-PAKE and More., und . ASIACRYPT (1), Volume 9452 von Lecture Notes in Computer Science, Seite 630-655. Springer, (2015)Efficient Rijndael Encryption Implementation with Composite Field Arithmetic., , , , , und . CHES, Volume 2162 von Lecture Notes in Computer Science, Seite 171-184. Springer, (2001)A Novel Power-Sum PRG with Applications to Lattice-Based zkSNARKs., , und . IACR Cryptol. ePrint Arch., (2023)Tree Automata, Mu-Calculus and Determinacy (Extended Abstract), und . FOCS, Seite 368-377. IEEE Computer Society, (1991)On model checking for the µ-calculus and its fragments., , und . Theor. Comput. Sci., 258 (1-2): 491-522 (2001)VarietyCash: A Multi-Purpose Electronic Payment System., , , und . USENIX Workshop on Electronic Commerce, USENIX Association, (1998)PRF Domain Extension Using DAGs.. TCC, Volume 3876 von Lecture Notes in Computer Science, Seite 561-580. Springer, (2006)