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

CLAPS: Client-Location-Aware Path Selection in Tor., , , , and . CCS, page 17-34. ACM, (2020)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)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)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)Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol., , , , , , and . IACR Cryptology ePrint Archive, (2005)TEDT, a Leakage-Resist AEAD Mode for High Physical Security Applications., , , , and . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2020 (1): 256-320 (2020)Universally Verifiable MPC and IRV Ballot Counting., , , and . Financial Cryptography, volume 11598 of Lecture Notes in Computer Science, page 301-319. Springer, (2019)Practical Traceable Receipt-Free Encryption., , and . IACR Cryptol. ePrint Arch., (2024)TEDT, a Leakage-Resilient AEAD mode for High (Physical) Security Applications., , , , and . IACR Cryptol. ePrint Arch., (2019)Running the Race: A Swiss Voting Story., , and . E-Vote-ID, volume 13553 of Lecture Notes in Computer Science, page 53-69. Springer, (2022)