( en | de | ru )

 

Disambiguierung von "Firsov, Denis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Zero-Knowledge in EasyCrypt.

, und . CSF, Seite 1-16. IEEE, (2023)

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.

Wladimir Denisow

Jaap Denissen

Natalja Denisjuk

Alexander Arnold Denisiuk

Alfred Denis

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Mendler-Style Lambda-Encodings in Cedille., , und . ITP, Volume 10895 von Lecture Notes in Computer Science, Seite 235-252. Springer, (2018)BLT+L: Efficient Signatures from Timestamping and Endorsements., , , und . SECRYPT, Seite 75-86. SCITEPRESS, (2021)Reflection, rewinding, and coin-toss in EasyCrypt., und . CPP, Seite 166-179. ACM, (2022)Generic zero-cost reuse for dependent types., , und . Proc. ACM Program. Lang., 2 (ICFP): 104:1-104:30 (2018)Formal Analysis of Non-Malleability for Commitments in EasyCrypt., , und . IACR Cryptol. ePrint Arch., (2022)Dependently typed programming with finite sets., und . WGP@ICFP, Seite 33-44. ACM, (2015)A New Approach to Constructing Digital Signature Schemes - (Short Paper)., , , , und . IWSEC, Volume 11689 von Lecture Notes in Computer Science, Seite 363-373. Springer, (2019)Schnorr protocol in Jasmin., , und . IACR Cryptol. ePrint Arch., (2023)Zero-Knowledge in EasyCrypt., und . CSF, Seite 1-16. IEEE, (2023)Unsatisfiability of Comparison-Based Non-malleability for Commitments., , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 188-194. Springer, (2022)