Abstract cryptography, game isomorphism, local simulators,& coercibility
Speaker: Ueli Maurer, ETH, Zurich
Date: Friday, July 6 2012
Time: 10:30AM to 12:00PM
Location: 32-G575
Host: Shafi Goldwasser, CSAIL, MIT
Contact: Be Blackburn, 3-6098, imbe@mit.edu
Relevant URL: In the spirit of algebraic abstraction, the abstract cryptography (AC)
framework advocates the definition and use of higher levels of
abstraction in cryptography (and beyond). If contrasted with the
standard bottom-up approach in CS to defining models of computation,
algorithms, complexity, efficiency, and then security of cryptographic
schemes, AC is top-down and axiomatic, where lower abstraction levels
inherit the definitions and theorems (e.g. a composition theorem) from
the higher level, but the definition or concretization of low levels is not
required for proving theorems at the higher levels.
The goal is to strive for simpler definitions, higher generality of results,
simpler proofs, improved elegance, possibly better didactic
suitability, and to derive new insights from the abstract viewpoint.
See other events that are part of CIS Seminars 2011/2012
See other events happening in July 2012
