Cryptography: Formalizing, Proving, and Breaking Security

Wann
Mittwoch, 22. Mai 2024
13:30 bis 15 Uhr

Wo
ZT 1204 (Data Theater)

Veranstaltet von
Tobias Sutter

Vortragende Person/Vortragende Personen:
Patrick Struck

Diese Veranstaltung ist Teil der Veranstaltungsreihe „Fachbereichskolloquium“.

Cryptography is an indispensable tool to achieve security and is ubiquitously deployed nowadays. In the first part of the talk, we cover core cryptographic concepts like encryption and authentication of messages. We further discuss how to formalize basic security properties of cryptographic algorithms, e.g., answering the question "what does it mean for an encryption scheme to be secure?" and how to prove and break these properties. The second part of the talk is based on current research, and covers more advanced security properties. These are important when using cryptographic algorithms in larger protocols to protect against more sophisticated attacks.

Lichtspiel im Foyer
Lichtspiel im Foyer