crypt@b-it 2012
Dennis Hofheinz
Formal Arguments for Cryptographic Security
Abstract
This course motivates and exemplifies a formal treatment of cryptographic security: we present formal security definitions and show techniques for constructing and proving secure systems under reasonable computational assumptions.
Material
Note that you can view additional material only if you are logged in.