News
Grades now availableWritten 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.
|
||||||||||||||||||||||||||||||||||||||||||||||
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! |