Formal analysis of real-world security protocols

Dear all,

We published the project grades and the final grades in the CMS. They are not yet in the LSF.

Due to your detailed documentation, we have decided to forgo the oral exam of your projects.
Feel free to contact us via mail if you want to challenge the grading of your project or have any other questions.

Best,

Niklas

Hi all,

next week, we will have our mid-term exam. The mid-term will take place in the CISPA lecture hall during our regular lecture slot.
That is Wednesday (08.06.22) from 10:00 to 11:30. The mid-term will take 90 minutes.

Make sure to be there by 9:45 such that we can start on time.
Do not forget to bring your student ID and a non-erasable pen for writing.
There are no additional materials allowed during the exam.

Cheers,

Niklas

Hi all,

This Wednesday, the 1st of June, we will have our first hybrid lecture!
You can physically attend this lecture at the CISPA lecture hall (E9.1., Room 0.05) 

Looking forward to seeing all of you in person! 

Cheers,
Niklas
 

Note that for the foreseeable future, wearing masks will be mandatory in the CISPA building.
Hence, even if UdS does not require masks, they will be required when attending the in-person lecture in the CISPA building.

Hi all,

we've decided to change the format of the lecture to be hybrid (in-person AND via zoom).
Starting next week (Wednesday 01.06), the lecture will take place in the CISPA building's lecture hall (room 0.05).

We're looking forward to seeing you next week!

Note that for the foreseeable future, wearing masks will be mandatory in the CISPA building.
Hence, even if UdS does not require masks, they will be required when attending the in-person lecture in the CISPA building.

Cheers,
Niklas

Hi all,

as announced this morning in the lecture, we did update the CMS and will also clarify the team groupings here:

 

CMS

The CMS got some updates today so please check the main page again. 
The most important changes contain:
- There is now a link to the Discord server (which will be used for the office hours)
- We reduced the number of total assignments from 5 to 4
- We added information to the timetable (it will be updated again, so check it regularly)
- We updated the Material section. Note: we will upload the recordings of the lectures as well in the next few days. Materials and recordings for the upcoming lectures will be uploaded in a timely manner.

Team Groupings

As already mentioned in the CMS and in the lecture, assignments as well as the final project are made for groups of two people.
In the CMS you will find the feature to register or join a group. Please do so until the 17.05.2022 AND before you submit the first assignment that will be released next week. You can use the Forum in the CMS as well as the Discord to look for teammates. If it was not possible to find a teammate until the deadline, please contact us, so we can discuss further steps.

 

Best,
Alexander

Hi all,

we're considering to change the format of the lectures to be hybrid (in-person AND via zoom) instead of having only virtual lectures. To make this decision, we need your input by filling out the following anonymous poll by the end of this week (Sunday 23:59).

https://xoyondo.com/ap/NKueGogEkSFcjFy   

We will provide more updates regarding in-person lectures soon. Note that for the foreseeable future, wearing masks will be mandatory in the CISPA building. Hence, even if UdS does not require masks, they will be required when attending the in-person lecture in the CISPA building.