Důkazy bezpečnosti schémat symetrické kryptografie
| Thesis title in Czech: | Důkazy bezpečnosti schémat symetrické kryptografie |
|---|---|
| Thesis title in English: | Security Proofs in Symmetric Cryptography |
| Key words: | symetrická kryptografie, schémata šifrování s ochranou integrity, důkazy bezpečnosti |
| English key words: | symmetric cryptography, authenticated encryption, security proofs |
| Academic year of topic announcement: | 2009/2010 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | čeština |
| Department: | Department of Algebra (32-KA) |
| Supervisor: | RNDr. Bohuslav Rudolf |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 08.12.2009 |
| Date of assignment: | 08.12.2009 |
| Date and time of defence: | 24.06.2010 00:00 |
| Date of electronic submission: | 24.06.2010 |
| Date of submission of printed version: | 11.06.2010 |
| Date of proceeded defence: | 24.06.2010 |
| Opponents: | RNDr. Martin Hlaváč, Ph.D. |
| Guidelines |
| V oblasti symetrické kryptografie se metody (redukcionistické) dokazatelné bezpečnosti používají k redukci bezpečnostních vlastností schématu na předpokládané bezpečnostní vlastnosti v nich použitých kryptografických primitivů. V této oblasti byla publikována řada dokazatelně bezpečných schémat symetrické kryptografie.
Cílem bakalářské práce bude studium důkazů jejich bezpečnosti a pokus o jednotící pohled na prostudované metody. |
| References |
| M. Wooding: New proofs for Old Modes (2009),
M. Bellare. A. Desai. E. Jokipii, Ph. Rogaway: A Concrete Security Treatment of Symmetric Encryption: Analysis of the DES Modes of Operations (1997) M. Bellare, CH. Namprempre: Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm (2000) Ph. Rogaway: Authenticated Encryption with Associated Data (2006) T. Iwata, K. Yasuda: HBS: A Single-Key Mode of Operation for Deterministic Authenticated Encryption (2009) T. Iwata, K. Kurosawa: OMAC: One-Key CBC-MAC (2004) M. Bellare, R. Canetti, H. Krywczyk: Keying Hash Function for Message Authentication M. Nandi: Fast and Secure CBC-Type MAC Algorithms (2005) Ch. Jutla: Encryption Modes with Almost Free Message Integrity (2005) Ph. Rogaway, M. Bellare, J. Black, T. Krovetz: OCB: A Block Cipher Mode of Operation for Efficietn Authenticated Encrytion (2005) T. Krovetz: Patent-Free Authenticated-Encryption As Fast As OCB (2009) |