Security of cryptographic schemes for contact tracing

• Název práce v češtině: Bezpečnost kryptografických schémat pro trasování kontaktů
• Název v anglickém jazyce: Security of cryptographic schemes for contact tracing
• Klíčová slova: Trasování kontaktů|Covid-19|DP3T|Delay-MAC|DP4T
• Klíčová slova anglicky: Contact tracing|Covid-19|DP3T|Delay-MAC|DP4T
• Akademický rok vypsání: 2020/2021
• Typ práce: bakalářská práce
• Jazyk práce: angličtina
• Ústav: Informatický ústav Univerzity Karlovy (32-IUUK)
• Vedoucí / školitel: Mgr. Pavel Hubáček, Ph.D.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 29.03.2021
• Datum zadání: 29.03.2021
• Datum potvrzení stud. oddělením: 24.05.2021
• Datum a čas obhajoby: 28.06.2021 10:00
• Datum odevzdání elektronické podoby: 27.05.2021
• Datum odevzdání tištěné podoby: 27.05.2021
• Datum proběhlé obhajoby: 28.06.2021
• Oponenti: Dr. rer. nat. Faruk Göloglu

Zásady pro vypracování

Student popíše principy fungování kryptografických schémat pro trasování kontaktů založených na bluetooth proximity jako DP3T [1] a zaměří se na možnosti prevence útoků typu relay a replay [2]. Například může formalizovat a dokázat bezpečnost schématu v článku od K. Pietrzaka [3].

Seznam odborné literatury

[1] DP3T, https://github.com/DP-3T/documents
[2] Serge Vaudenay, Analysis of DP3T, https://eprint.iacr.org/2020/399
[3] Krzysztof Pietrzak, Delayed Authentication: Preventing Replay and Relay Attacks in Private Contact Tracing, https://eprint.iacr.org/2020/418