Author of the publication

Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.

, , , , , , and . DISC, volume 4167 of Lecture Notes in Computer Science, page 238-253. Springer, (2006)

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

Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol., , , , , , and . IACR Cryptology ePrint Archive, (2005)Universally Verifiable MPC and IRV Ballot Counting., , , and . Financial Cryptography, volume 11598 of Lecture Notes in Computer Science, page 301-319. Springer, (2019)Encryption Mechanisms for Receipt-Free and Perfectly Private Verifiable Elections., , and . ACNS (1), volume 14583 of Lecture Notes in Computer Science, page 257-287. Springer, (2024)TEDT, a Leakage-Resist AEAD Mode for High Physical Security Applications., , , , and . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020 (1): 256-320 (2020)Mode-Level vs. Implementation-Level Physical Security in Symmetric Cryptography - A Practical Guide Through the Leakage-Resistance Jungle., , , , , , , , and . CRYPTO (1), volume 12170 of Lecture Notes in Computer Science, page 369-400. Springer, (2020)Practical Traceable Receipt-Free Encryption., , and . IACR Cryptol. ePrint Arch., (2024)Reducing the Cost of Authenticity with Leakages: a CIML2-Secure AE Scheme with One Call to a Strongly Protected Tweakable Block Cipher., , and . IACR Cryptology ePrint Archive, (2019)CLAPS: Client-Location-Aware Path Selection in Tor., , , , and . CCS, page 17-34. ACM, (2020)Running the Race: A Swiss Voting Story., , and . E-Vote-ID, volume 13553 of Lecture Notes in Computer Science, page 53-69. Springer, (2022)TEDT, a Leakage-Resilient AEAD mode for High (Physical) Security Applications., , , , and . IACR Cryptol. ePrint Arch., (2019)