News

Room Change June 3rd

Written on 27.05.25 (last change on 27.05.25) by Erik Pallas

Dear students,

since our usual room is blocked next week due to an event at CISPA, our session on June 3^rdwill take place at E 1.1, SR 106. See you there!

Reminder: LSF Registration

Written on 12.05.25 by Erik Pallas

Dear students,

please remember to register in LSF for our seminar by tomorrow, May 13^th. Otherwise, we unfortunately cannot grade your submissions and you won't be able to receive credit points for this course.

Papers for May 13th

Written on 07.05.25 by Aurora Naska

Hi all,

The meeting next week (May 13th) will be in person at Cispa Room 0.01 for the presentations of the next papers (5, 6, 8):

5. Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
6. Deniable Key Exchanges for Secure… Read more

Hi all,

The meeting next week (May 13th) will be in person at Cispa Room 0.01 for the presentations of the next papers (5, 6, 8):

5. Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
6. Deniable Key Exchanges for Secure Messaging
8. On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees

Assigned Topics

Written on 22.04.25 by Aurora Naska

Dear Students,

We distributed the topics you will be presenting in the seminar. Our next meeting is on May 6th with practice presentations of topics 1,2, and 3.

Remember to register in the LSF by May 13th.

Uploaded Slides and Papers

Written on 15.04.25 (last change on 15.04.25) by Aurora Naska

Hi everyone,

We have uploaded the kickoff slides and papers (1-10). You will find them under the Materials section.