Author of the publication

Card-Based Cryptography Meets Formal Verification.

, , and . ASIACRYPT (1), volume 11921 of Lecture Notes in Computer Science, page 488-517. Springer, (2019)

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

Black-Box Accumulation Based on Lattices., , , , , and . IMACC, volume 13129 of Lecture Notes in Computer Science, page 220-246. Springer, (2021)Meta-Reinforcement Learning via Language Instructions., , , , and . CoRR, (2022)Technologiebilanz. Innovative Unternehmensführung Vandenhoeck & Ruprecht, Göttingen, (2004)Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun., , , , and . New Gener. Comput., 42 (3): 449-477 (September 2024)LaPSuS - A Lattice-Based Private Stream Aggregation Scheme Under Scrutiny., and . SCN (2), volume 14974 of Lecture Notes in Computer Science, page 228-248. Springer, (2024)Knowledge meets motivation - Anreizsysteme im Wissensmanagement, , and . Fraunhofer IRB Verlag, (2001)Practical and Robust Secure Logging from Fault-Tolerant Sequential Aggregate Signatures., , , , and . ProvSec, volume 10592 of Lecture Notes in Computer Science, page 87-106. Springer, (2017)Process Data Management for the Shortening of the Whole Product Creation Process., , , and . CSCWD (Selected papers), volume 3865 of Lecture Notes in Computer Science, page 616-625. Springer, (2005)Process data management in the whole product creation process., , , and . CSCWD (2), page 1029-1033. IEEE Computer Society, (2005)1-84600-002-5.ConTra Corona: Contact Tracing against the Coronavirus by Bridging the Centralized - Decentralized Divide for Stronger Privacy., , , , , and . IACR Cryptol. ePrint Arch., (2020)