TagsResearcherAffiliationCryptoNete-mailActiveCollaborationJoint PapersWitness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to GroupsOn the Impossibility of Algebraic Vector Commitments in Pairing-Free GroupsTestudo: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup