News
Interesting new related blog postWritten on 11.03.24 (last change on 11.03.24) by Cas Cremers This article might also interest you: https://security.apple.com/blog/imessage-pq3/ on Apple's new iMessage version. Note the use of verification, both with a manual computational analysis as well as an analysis using the Tamarin prover (which I co-developed). More on such techniques in upcoming… Read more This article might also interest you: https://security.apple.com/blog/imessage-pq3/ on Apple's new iMessage version. Note the use of verification, both with a manual computational analysis as well as an analysis using the Tamarin prover (which I co-developed). More on such techniques in upcoming lectures!
|
||||||||||||||||||||||||||||||||||||||||||||||
Seminar reschedule due to bus strikesWritten on 01.02.24 (last change on 07.02.24) by Cas Cremers Due to the bus strikes, we will not have a seminar on Feb 2nd. We will have the seminar on Friday Feb 9th, at 14:00 instead. |
||||||||||||||||||||||||||||||||||||||||||||||
No seminar todayWritten on 26.01.24 by Cas Cremers Due to illness of the speaker, we will not have a seminar today. Have a great weekend, and see you all next week (Feb 2nd)!
|
||||||||||||||||||||||||||||||||||||||||||||||
Forum now availableWritten on 15.12.23 by Cas Cremers As requested, we have now activated the forum: https://cms.cispa.saarland/atosm23/forum/ Reminder: there is no seminar today, but there is one next week! |
||||||||||||||||||||||||||||||||||||||||||||||
Paper presentation scheduleWritten on 08.12.23 (last change on 01.02.24) by Cas Cremers Dear all, Please find below the scheduled talks:
Dear all, Please find below the scheduled talks:
|
||||||||||||||||||||||||||||||||||||||||||||||
Paper selection: please e-mail your preferencesWritten on 04.12.23 by Cas Cremers Please have a look at the materials page, and let the me know your preferences in papers by sorting them into three categories: "would love to" "would be okay" and "rather not"; and send me these preferences by e-mail by Wednesday December 6th. We will try to assign papers optimally, but of course… Read more Please have a look at the materials page, and let the me know your preferences in papers by sorting them into three categories: "would love to" "would be okay" and "rather not"; and send me these preferences by e-mail by Wednesday December 6th. We will try to assign papers optimally, but of course we might not be able to satisfy the "rather not" requirements if everyone selects the same papers. |
||||||||||||||||||||||||||||||||||||||||||||||
First Seminar meeting with talk: Friday December 8, 13:00Written on 04.12.23 by Cas Cremers This Friday we have our first overview talk presentation in room 0.07, by Paul Emil Frerichs. We have booked the slot 13:00-15:00; it seems impossible to find an alternative slot in the week that we can systematically use without moving to different times each week. This Friday we have our first overview talk presentation in room 0.07, by Paul Emil Frerichs. We have booked the slot 13:00-15:00; it seems impossible to find an alternative slot in the week that we can systematically use without moving to different times each week.
|
||||||||||||||||||||||||||||||||||||||||||||||
Kick-off meeting: Friday November 3rd, 13:00-14:00Written on 02.11.23 by Cas Cremers The kick-off meeting for this seminar will take place on Friday November 3rd, at 13:00 in room 0.07 of the CISPA building on campus. Hope to see you all there! |
Advanced Theory of Secure Messaging
Millions of users benefit from modern secure messaging apps. Since recent years, these messaging apps can offer much stronger security properties than they ever did before, for example using the Signal protocol library (as used by WhatsApp, Signal's app, and Facebook's secret conversations) and others.
In this seminar, we will explore some of the theory behind the design of these protocols through a selection of relevant research papers in this area, which is a highly active current research direction. This will include papers on the novel security properties met by these protocols, the subtle edge cases of security in group messaging, as well as recent works that show the achieved security might be lower than expected.
Most (but not all) of the papers are technical, and include security models and proofs; however, for the presentations, understanding the proofs will not be mandatory. Having attended advanced cryptography or protocol analysis lectures can be beneficial, but is not strictly required.
More background on the instructor can be found here: https://cispa.saarland/group/cremers/index.html
Requirements: Students should have completed the core Security or core Cryptography lectures, ideally both.
Places: 10