News

Grades now available

Written on 07.05.24 by Cas Cremers

We have completed grading the seminar, and you should have either received a mail or your grade should now be available in lsf.
Hope you enjoyed the seminar and learned some new things!

 

Interesting new related blog post

Written 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 strikes

Written 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 today

Written 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 available

Written 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 schedule

Written on 08.12.23 (last change on 01.02.24) by Cas Cremers

Dear all,

Please find below the scheduled talks:

Date Name Paper
Dec 8 Paul Frerichs SoK: Secure Messaging
Dec 22 Shashank Diwakar Off-The-Record protocol
Jan 5 Tobias Gaul Post-Compromise Security
Jan… Read more

Dear all,

Please find below the scheduled talks:

Date Name Paper
Dec 8 Paul Frerichs SoK: Secure Messaging
Dec 22 Shashank Diwakar Off-The-Record protocol
Jan 5 Tobias Gaul Post-Compromise Security
Jan 5 Oliver Valta Signal
Jan 12 Sven Tangermann The double ratchet
Jan 12 Marvin Shank Coordinating users
Jan 26 No seminar  
Jan 26 Amr Jaafar On Ends-to-Ends encryption
Feb 9 Iryna Kmet SEEMless
Feb 9 Abhinav Device-oriented group messaging - Matrix

 

Paper selection: please e-mail your preferences

Written 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:00

Written 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.
If 13:00 is impossible for you,… Read more

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.
If 13:00 is impossible for you, please reach out and let me know if maybe 14:00 would work as a start.

 

Kick-off meeting: Friday November 3rd, 13:00-14:00

Written 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!
 

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.