Thomas Zacharias

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 3

Top Topics

Payment Systems

Global Consistency

Automated Theorem Provers

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Aydin Abadi, Steven J. Murdoch, Thomas Zacharias
Polynomial Representation Is Tricky: Maliciously Secure Private Set Intersection Revisited. IACR Cryptol. ePrint Arch. 2021 (2021)
Aydin Abadi, Steven J. Murdoch, Thomas Zacharias
Polynomial Representation Is Tricky: Maliciously Secure Private Set Intersection Revisited. ESORICS (2) (2021)
Aydin Abadi, Steven J. Murdoch, Thomas Zacharias
Recurring Contingent Payment for Proofs of Retrievability. IACR Cryptol. ePrint Arch. 2021 (2021)