News

Reminder: Deadline for the Final Report

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

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

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

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

Reminder: Today's Seminar starts at 13:15

Written 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.06

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

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

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

Read more

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 seminar

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

Written 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.08

Written on 09.12.19 by Mang Zhao

Dear all,

 

Today's seminar is held in Room 3.08.

 

Best,

Mang

Schedule for the next year

Written 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

 

 

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

 

Seminar on 09. and 16. December

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

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

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

 

Paper Assignment
Matr-Nr. Paper
2575877 Post-Compromise… Read more

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

 

 

Please choose the top3 papers that you prefer to present

Written 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 
3. Post-Compromise Security
4. The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol
5. On… Read more

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

Seminar Time-Slot and Location

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

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

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

 

Show all

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

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