News
Reminder: Deadline for the Final ReportWritten on 01.03.20 by Mang Zhao Dear all,
This is a kind reminder that the deadline for the final report is tomorrow. Please remember to submit your report by March 2nd, 23:59 CET.
Best, Mang |
||||||||||||||||||||||||||||
Feedback on the draft && Reminder of the final deadlineWritten on 18.02.20 by Mang Zhao Dear all, Thanks for submitting the draft. We have read your drafts and uploaded the feedback. Please find it in [CMS -> Personal Status]. Moreover, as you may have already noticed, we have opened the submission for your final report. Please hand in the final version by March 2nd,… Read more Dear all, Thanks for submitting the draft. We have read your drafts and uploaded the feedback. Please find it in [CMS -> Personal Status]. Moreover, as you may have already noticed, we have opened the submission for your final report. Please hand in the final version by March 2nd, 23:59 CET.
Good luck! Best, Mang |
||||||||||||||||||||||||||||
Reminder: Deadline for the draft reportWritten on 07.02.20 by Mang Zhao Dear all,
We have already opened the submission of the outline/draft of your report in "CMS" -> "Personal Staus" -> "Draft Report". As mentioned in the previous emails, we highly recommend you hand in your draft. Within a week, you will get feedback on it. The deadline for the draft… Read more Dear all,
We have already opened the submission of the outline/draft of your report in "CMS" -> "Personal Staus" -> "Draft Report". As mentioned in the previous emails, we highly recommend you hand in your draft. Within a week, you will get feedback on it. The deadline for the draft report is February 10, 23:59 CET.
Moreover, there are two students who have not sent me the presentation slides. Please send me the slides in pdf-format as soon as possible.
Best, Mang |
||||||||||||||||||||||||||||
Interesting talk videoWritten on 29.01.20 by Cas Cremers Dear all, The videos for this year's Real World Crypto conference have been posted online: one of them is by Jon Millican of Facebook, and you might find it interesting: https://totalwebcasting.com/view/?func=VOFF&id=columbia&date=2020-01-08&seq=1 search for "messaging" to get to the specific… Read more Dear all, The videos for this year's Real World Crypto conference have been posted online: one of them is by Jon Millican of Facebook, and you might find it interesting: https://totalwebcasting.com/view/?func=VOFF&id=columbia&date=2020-01-08&seq=1 search for "messaging" to get to the specific talk: E2EE for Messenger: goals, plans and thinking |
||||||||||||||||||||||||||||
Reminder: Today's Seminar starts at 13:15Written on 20.01.20 by Mang Zhao Dear all,
This is just a kind reminder that today's seminar will start at 13:15.
Best, Mang |
||||||||||||||||||||||||||||
Seminar Venue on 20. January: Room 0.06Written on 15.01.20 by Mang Zhao Dear all,
The seminar on 20. January will be held in Room 0.06.
Best, Mang |
||||||||||||||||||||||||||||
Dates for final reportWritten on 13.01.20 by Cas Cremers Dear all, The deadline for handing in the final version of the report is March 2nd, 23:59 CET. We also offer a quick feedback option: you can choose to hand in a draft or outline by February 10, 23:59 CET and we will give you feedback on it within a week, which you can then use for your final… Read more Dear all, The deadline for handing in the final version of the report is March 2nd, 23:59 CET. We also offer a quick feedback option: you can choose to hand in a draft or outline by February 10, 23:59 CET and we will give you feedback on it within a week, which you can then use for your final version. Good luck!
|
||||||||||||||||||||||||||||
Patent referencesWritten on 13.01.20 by Cas Cremers Dear all, For additional content/entertainment, the patent mentioned in the seminar: https://patents.google.com/patent/US10412063B1/en?inventor=yevgeniy+dodis&oq=yevgeniy+dodis and some hackernews comments (take with the appropriate truckload of salt). Dear all, For additional content/entertainment, the patent mentioned in the seminar: https://patents.google.com/patent/US10412063B1/en?inventor=yevgeniy+dodis&oq=yevgeniy+dodis and some hackernews comments (take with the appropriate truckload of salt). https://news.ycombinator.com/item?id=21954006&ref=hvper.com&utm_source=hvper.com&utm_medium=website
|
||||||||||||||||||||||||||||
Update: today's seminar starts at the normal time (14:15)Written on 13.01.20 by Cas Cremers Dear all, More schedule updates: contrary to the previous mail, we will start today (13. January) at the normal time: 14:15. We will have the talk: - The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol |
||||||||||||||||||||||||||||
Cancellation of today's seminarWritten on 06.01.20 by Cas Cremers Dear all, Unfortunately, due to unforeseen circumstances, the seminar today (Jan 6th) is cancelled. Sorry about the very late notice but it was out of our hands :-( See you next week! |
||||||||||||||||||||||||||||
Template for final reportWritten on 06.01.20 by Cas Cremers Dear all, Happy new year! The template for the final report is now set, and we'll be following the same style as some other seminars and scientific conferences. In particular, you are asked to use the latex typesetting program, and in particular with the IEEE transactions style, which you can… Read more Dear all, Happy new year! The template for the final report is now set, and we'll be following the same style as some other seminars and scientific conferences. In particular, you are asked to use the latex typesetting program, and in particular with the IEEE transactions style, which you can download here: https://ctan.org/pkg/ieeetran?lang=en Note there is also documentation to go along with the style. For the settings, please use: \documentclass[compsoc,conference]{IEEEtran} For the final report, the maximum page limit is 8 pages, which includes references, and excludes optional well marked appendices.
|
||||||||||||||||||||||||||||
Today's Seminar Venue: Room 3.08Written on 09.12.19 by Mang Zhao Dear all,
Today's seminar is held in Room 3.08.
Best, Mang |
||||||||||||||||||||||||||||
Schedule for the next yearWritten on 04.12.19 by Mang Zhao Dear all,
Below you can see the schedule of our seminars for the next year. As discussed in the seminar on 02. Dec., the seminars on 20.Jan., 27.Jan., 03.Feb. will start one hour earlier, i.e. at 13:15.
Please let me know if this plan causes any inconvenience to… Read more Dear all,
Below you can see the schedule of our seminars for the next year. As discussed in the seminar on 02. Dec., the seminars on 20.Jan., 27.Jan., 03.Feb. will start one hour earlier, i.e. at 13:15.
Please let me know if this plan causes any inconvenience to you.
Best, Mang
|
||||||||||||||||||||||||||||
Seminar on 09. and 16. DecemberWritten on 02.12.19 by Mang Zhao Dear all,
The topic of the seminar on 09. December is about the paper "Deniable Key Exchange for Secure Messaging". And the seminar on 16. December is canceled.
Best, Mang |
||||||||||||||||||||||||||||
Reminder: Practice makes PerfectWritten on 26.11.19 by Mang Zhao Dear all,
This is just one reminder: Practice makes Perfect!
Nobody is born gifted, and every talent requires practice and refining. The speech skill is not an exception. So, to give a nice presentation, we suggest you giving some test-talks, in particular in front of your… Read more Dear all,
This is just one reminder: Practice makes Perfect!
Nobody is born gifted, and every talent requires practice and refining. The speech skill is not an exception. So, to give a nice presentation, we suggest you giving some test-talks, in particular in front of your friends, before you give the final talk in the seminar.
Best, Mang
|
||||||||||||||||||||||||||||
Paper Assignment && LSF RegistrationWritten on 08.11.19 by Mang Zhao Dear all,
Thanks for sending us your preferences. We have sent the final assignment to each of you. You can also check the table below (Please let me know if anything is wrong).
Dear all,
Thanks for sending us your preferences. We have sent the final assignment to each of you. You can also check the table below (Please let me know if anything is wrong).
Please note: 1. The first presentation shall be given on 18. November about the topic "Post-Compromise Security", and the second presentation shall be given on 02. December about the topic "Off-the-Record Communication, or, Why Not To Use PGP". Please let me know if this arrangement causes any inconvenience to both speakers.
2. The registration in LSF is open now and until 28. November. You MUST register in LSF for the final grade.
3. The order of these papers does NOT imply the order of the presentations. We will reorder these papers for your better understanding of secure messaging. Therefore, please start to read your assigned paper as early as possible and don't hesitate to post questions in the forum! We will announce the final order of the presentations as soon as possible.
Best,
Mang
|
||||||||||||||||||||||||||||
Please choose the top3 papers that you prefer to presentWritten on 05.11.19 by Mang Zhao Dear all, We have uploaded the 2nd - 12th paper to CMS (Path: Information -> Materials). They are: 2. Off-the-Record Communication, or, Why Not To Use PGP Dear all, We have uploaded the 2nd - 12th paper to CMS (Path: Information -> Materials). They are: 2. Off-the-Record Communication, or, Why Not To Use PGP
Please send me three your preferred papers (and rank them in order) by the end of tomorrow (06. Nov. 2019), via email: mang.zhao@cispa.saarland We will try our best to distribute them well to meet your preferences. To anyone who doesn't send me your preferences, we will assign the most "unattractive" paper. :- )
Best, Mang |
||||||||||||||||||||||||||||
Seminar Time-Slot and LocationWritten on 30.10.19 by Mang Zhao Dear all, Thanks for voting the time-slots in Doodle. According to most people's preference, we decide on the time-slot for this seminar: 14:15 - 16:00 s.t. every Monday. (Location: Room 0.01 E 9.1 CISPA Building) If you cannot make it, please send us one email for deregistration so that we… Read more Dear all, Thanks for voting the time-slots in Doodle. According to most people's preference, we decide on the time-slot for this seminar: 14:15 - 16:00 s.t. every Monday. (Location: Room 0.01 E 9.1 CISPA Building) If you cannot make it, please send us one email for deregistration so that we could arrange for other candidates to join this seminar.
Moreover, please note that there are two exceptions: 1. The seminar on 11. November is cancelled. 2. On 18. November, the venue is Room 3.08, E 9.1, CIPSA Building.
Best, Mang |
||||||||||||||||||||||||||||
Please fill out the doodle for seminar slotsWritten on 28.10.19 by Cas Cremers Dear all, Please fill out the below doodle by the end of Tuesday (before Wednesday): https://doodle.com/poll/226hxe5k6szu6u4p Best, Cas
|
||||||||||||||||||||||||||||
Kick-off meetingWritten on 23.10.19 (last change on 28.10.19) by Cas Cremers The Kick-off meeting for this course will be on Monday October 28, 14:00 c.t., in room 3.08 in the CISPA building.
|
How Secure is Messaging?
Provable Guarantees for Secure Messaging
Description: Nearly everyone uses a messaging app, many of which claim that they offer secure messaging. However, it is not always exactly clear what this exactly means. When is a messaging app secure? How do we know it is secure? Can we prove anything about their security? The focus on this course is on modern ways to mathematically specify what various levels of messaging security actually mean, and the methodologies that can be used to prove that this is indeed the case. This will give both a good insight in the state-of-the-art as well as the scientific questions that are still unanswered.
Every week, one student will present her/his assigned papers on a certain topic, followed by a group discussion. All students are required to read the papers carefully and prepare a list of questions for discussion. Each student will write a summary of her/his assigned papers providing a general overview of the field.
Requirements: Students must have basic knowledge about cryptography and protocols (e.g., through Foundations of Cybersecurity I and II) and basic knowledge about either: verification, cryptography, computational logic or concurrent systems (e.g., through the respective lectures).