Thomas Attema

Available identifiers

Publication	Date of Publication	Type
Generalized special-sound interactive proofs and their knowledge soundness	2024-08-02	Paper
Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders	2024-03-26	Paper
On homomorphic secret sharing from polynomial-modulus LWE	2023-11-16	Paper
Fiat-Shamir transformation of multi-round interactive proofs (Extended version)	2023-08-22	Paper
Fiat-Shamir transformation of multi-round interactive proofs	2023-08-14	Paper
Vector commitments over rings and compressed $\varSigma $-protocols	2023-08-14	Paper
Parallel repetition of $(k_1,\dots ,k_{\mu }) $-special-sound multi-round interactive proofs	2023-06-12	Paper
Compressed $$\varSigma $$-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures	2023-05-26	Paper
Optimizing the decoy-state BB84 QKD protocol parameters	2023-03-15	Paper
Mathematical formulation of quantum circuit design problems in networks of quantum computers	2023-01-13	Paper
Compressed $\varSigma$-protocol theory and practical application to plug \& play secure algorithmics	2022-12-07	Paper
Practical product proofs for lattice commitments	2022-11-09	Paper
Efficient compiler to covert security with public verifiability for honest majority MPC	2022-11-09	Paper
Compressing proofs of $k$-out-of-$n$ partial knowledge	2022-05-18	Paper
A compressed $\varSigma $-protocol theory for lattices	2022-04-22	Paper

This page was built for person: Thomas Attema