Author of the publication

Valuable Puzzles for Proofs-of-Work.

, and . DPM/CBT@ESORICS, volume 11025 of Lecture Notes in Computer Science, page 130-139. Springer, (2018)

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.

 

Other publications of authors with the same name

Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model., , and . Appl. Algebra Eng. Commun. Comput., 16 (6): 405-438 (2006)Compliant cryptologic protocols., , and . Int. J. Inf. Sec., 1 (3): 189-202 (2002)Key recovery for the commercial environment., , , , and . Int. J. Inf. Sec., 1 (3): 161-174 (2002)Provably Secure Key Exchange: An Engineering Approach., , and . ACSW, volume 21 of CRPIT, page 97-104. Australian Computer Society, (2003)SKMA: a key management architecture for SCADA systems., , , and . ACSW, volume 54 of CRPIT, page 183-192. Australian Computer Society, (2006)On the Connection between Signcryption and One-pass Key Establishment., , and . IACR Cryptology ePrint Archive, (2009)Key Recovery: Inert and Public., , , and . IACR Cryptology ePrint Archive, (2017)On Session Identifiers in Provably Secure Protocols: The Bellare-Rogaway Three-Party Key Distribution Protocol Revisited., , , and . SCN, volume 3352 of Lecture Notes in Computer Science, page 351-366. Springer, (2004)Protocols with Security Proofs for Mobile Applications., , , and . ACISP, volume 3108 of Lecture Notes in Computer Science, page 358-369. Springer, (2004)Secure e-Voting for Preferential Elections., , , and . EGOV, volume 2739 of Lecture Notes in Computer Science, page 246-249. Springer, (2003)