News
01.03.2020
|
Reminder: Deadline for the Final ReportDear 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 |
|||||||||||||||||||||||||||
18.02.2020
|
Feedback on the draft && Reminder of the final deadlineDear 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... 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 |
|||||||||||||||||||||||||||
07.02.2020
|
Reminder: Deadline for the draft reportDear 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... 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 |
|||||||||||||||||||||||||||
29.01.2020
|
Interesting talk videoDear 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... 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 |
|||||||||||||||||||||||||||
20.01.2020
|
Reminder: Today's Seminar starts at 13:15Dear all,
This is just a kind reminder that today's seminar will start at 13:15.
Best, Mang |
|||||||||||||||||||||||||||
15.01.2020
|
Seminar Venue on 20. January: Room 0.06Dear all,
The seminar on 20. January will be held in Room 0.06.
Best, Mang |
|||||||||||||||||||||||||||
13.01.2020
|
Dates for final reportDear 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,... 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!
|
|||||||||||||||||||||||||||
13.01.2020
|
Patent referencesDear 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
|
|||||||||||||||||||||||||||
13.01.2020
|
Update: today's seminar starts at the normal time (14:15)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 |
|||||||||||||||||||||||||||
06.01.2020
|
Cancellation of today's seminarDear 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! |
|||||||||||||||||||||||||||
06.01.2020
|
Template for final reportDear 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... 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.
|
|||||||||||||||||||||||||||
09.12.2019
|
Today's Seminar Venue: Room 3.08Dear all,
Today's seminar is held in Room 3.08.
Best, Mang |
|||||||||||||||||||||||||||
04.12.2019
|
Schedule for the next yearDear 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... 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
|
|||||||||||||||||||||||||||
02.12.2019
|
Seminar on 09. and 16. DecemberDear 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 |
|||||||||||||||||||||||||||
26.11.2019
|
Reminder: Practice makes PerfectDear 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... 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
|
|||||||||||||||||||||||||||
08.11.2019
|
Paper Assignment && LSF RegistrationDear 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
|
|||||||||||||||||||||||||||
05.11.2019
|
Please choose the top3 papers that you prefer to presentDear 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 |
|||||||||||||||||||||||||||
30.10.2019
|
Seminar Time-Slot and LocationDear 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... 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 |
|||||||||||||||||||||||||||
28.10.2019
|
Please fill out the doodle for seminar slotsDear all, Please fill out the below doodle by the end of Tuesday (before Wednesday): https://doodle.com/poll/226hxe5k6szu6u4p Best, Cas
|
|||||||||||||||||||||||||||
23.10.2019
|
Kick-off meetingThe 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).