Secure Messaging

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

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

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
Jon Millican

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!

 

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

 

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.

 

 

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

 

 

Date	Matr-Nr.	Topic
06.Jan.	2558537	The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol
13.Jan.	2551318	Asymmetric Group Key Agreement
20.Jan.	2553798	Multi-party Off-the-Record Messaging
	2570192	On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees
27.Jan.	2581749	Message Franking via Committing Authenticated Encryption
	2568983	SEEMless: Secure End-to-End Encrypted Messaging with less Trust
03.Feb.	2568342	Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols
	2572739	A Formal Security Analysis of the Signal Messaging Protocol

 

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

 

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).

 

Paper Assignment

Matr-Nr.	Paper
2575877	Post-Compromise Security
2576746	Off-the-Record Communication, or, Why Not To Use PGP
2553798	Multi-party Off-the-Record Messaging
2551318	Asymmetric Group Key Agreement
2572828	Deniable Key Exchanges for Secure Messaging
2572739	A Formal Security Analysis of the Signal Messaging Protocol
2581749	Message Franking via Committing Authenticated Encryption
2570192	On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees
2568342	Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols
2558537	The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol
2568983	SEEMless: Secure End-to-End Encrypted Messaging with less Trust

 

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

 

 

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 
3. Post-Compromise Security
4. The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol
5. On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees
6. Asymmetric Group Key Agreement
7. Message Franking via Committing Authenticated Encryption
8. Deniable Key Exchanges for Secure Messaging
9. Multi-party Off-the-Record Messaging
10. Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols
11. A Formal Security Analysis of the Signal Messaging Protocol
12. SEEMless: Secure End-to-End Encrypted Messaging with less Trust

 

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

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