Constructive cryptography
Duration: 1 hour 5 mins 13 secs
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Maurer, U (ETH Zürich)
Tuesday 10 April 2012, 16:00-17:00 |
|---|
| Created: | 2012-04-23 13:26 |
|---|---|
| Collection: | Semantics and Syntax: A Legacy of Alan Turing |
| Publisher: | Isaac Newton Institute |
| Copyright: | Maurer, U |
| Language: | eng (English) |
| Abstract: | I will present constructive cryptography, a new paradigm for defining and proving security of cryptographic protocols. Constructive cryptography differs from previous approaches both in terms of the types of statements made as well as in terms of the abstraction level at which they are proved. |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video | 640x360 | 1.84 Mbits/sec | 904.56 MB | View | Download | |
| WebM | 640x360 | 847.9 kbits/sec | 403.67 MB | View | Download | |
| Flash Video | 484x272 | 568.68 kbits/sec | 271.64 MB | View | Download | |
| iPod Video | 480x270 | 506.1 kbits/sec | 241.81 MB | View | Download | |
| MP3 | 44100 Hz | 125.01 kbits/sec | 59.59 MB | Listen | Download | |
| Auto * | (Allows browser to choose a format it supports) | |||||