- A-212 (STCS Seminar Room)
In a recent sequence of works, we investigate a possibly broader landscape of complexity assumptions that can be related to a richer collection of cryptographic primitives -- namely, multiparty computation (MPC) primitives. In this talk we shall see the basic ingredients and initial results of this investigation.
First, we shall set up information-theoretic notions of complexity for 2-party computation. This complexity notion is implicitly defined using the partial order of secure reducibility. These information theoretic reductions serve as a baseline for framing computational complexity assumptions of the form that one cryptographic primitive securely reduces to another in a computationally bounded environment. We shall discuss specific results (and some on going research) that throw light on minicrypt and cryptomania, and suggest the possibility of identifying other meaningful intermediate complexity assumptions (this is joint work with Hemanta Maji and Mike Rosulek).