Algebraic Construction for Multi-Party Protocols with Focus on Threshold Signatures
Michele Battagliola - PhD in Mathematics, University of Trento
Abstract: Secure multi-party computation (MPC) is a field of cryptography that aims to provide methods for parties to jointly compute a function over their inputs while keeping those inputs private. Unlike traditional cryptography where the adversary is outside the system of participants, the main task (and challenge) of MPC is to protect participants from internal adversaries, who participate in protocol and can therefore send corrupted. The results presented in this talk touch various aspects of MPC. First, we present MPC from a theoretical standpoint, designing a new heuristic and a new proof system useful for proving the security of threshold signatures, a particular kind of MPC protocol. Next, we show some MPC primitives, with a focus on threshold signatures. Lastly, we present a coercion resistant e-voting protocol, that allows voters to freely vote without being afraid of external adversaries trying to pressure them to vote in a particular way.