CWI Cryptology Group

Abstract: We present a framework for the description and analysis of secure computation protocols that is at the same time mathematically rigorous and notationally lightweight and concise. The distinguishing feature of the framework is that it allows to specify (and analyze) protocols in a manner that is largely independent of time, greatly simplifying the study of cryptographic protocols. At the notational level, protocols are described by systems of mathematical equations (over domains), and can be studied through simple algebraic manipulations like substitutions and variable elimination. The use of the framework is exemplified by applying it to the study of a classic oblivious transfer length extension protocol.
Talk based in part on joint work with Stefano Tessaro, presented at ITCS 2013.