Events Detail

Speaker:
Patrick Struck

This event is part of an event series „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.