Foundations of Cyber Security II

Dear Students,

we have uploaded the seating assignment for tomorrow's re-exam to the materials section. Please make sure to take a look at it to have a smooth exam tomorrow.

The re-exam will take place in the GHH (E2.2) at 10:00 sharp, like the main exam. Make sure to be there on time.

Do not forget to bring your student ID and a non-erasable pen for writing. You are allowed one hand written cheat sheet (size A4) and may use an English/German dictionary.

UPDATE: Please make sure you are still on rev 2 of the seating plan. The first version used some wrong data.

In preparation of the main exam on Thursday, here are a few notes.

1. The exam will be held in the GHH (E2.2). We will start at 10 sharp, so make sure to be there in time.

2. We have released a seating plan, which you can find in the materials section. Make sure to verify that your matriculation number is on it. If you registered for the exam, but your number is not on the list, write me an email now! You are not allowed to take part in the exam, if you are missing from the list.

 

Do not forget to bring your student ID and a non-erasable pen for writing. You are allowed one hand written cheat sheet (size A4) and may use an English/German dictionary.

Hi!

First off, the next lecture and exercise will heavily rely on ProVerif. So please download it at http://proverif.inria.fr. (It can also be installed via opam, which is a breeze to use in Linux and MacOS. For Windows, there are binaries.) You need to use it for the exercise. Considering that the last and the current exercise sheet have been heavy on points and effort, we will scale back for the next one. So while you are sweating over that reduction sequence, you can look forward to ProVerif doing the hard work for you!

Second, it was asked whether you need to learn the inference rules by hard. That is not the case.

Cheers, Robert

Hi!

Thanks to a kind student, I've fixed a typo (missing parenthesis) in the exercise sheet. I've also updated the script to include more examples. Furthermore:

• The script contains the slides, so I won't put the slides online. The margin notes are the slide titles, to help you synchronise your notes with the script.
• The exercises in the script are exactly those in the exercise sheets.
• I will only announce updates to the script or exercises if I think revisiting is necessary, and in that case provide an errata. The CMS bounces the revision number on each update, so you will notice minor improvements that way.

Cheers, Robert

Hi!

This is Robert, your lecturer for the next three sessions. The new "Lecture scripts" category now contains the script for the lecture on Thursday. This part will be on formal verification, and, not very surprisingly, be quite formal. I recommend to print out the lecture script before the lecture, so you are able to make notes during the lecture. Also: ask questions. Your colleagues will thank you (not literally, but they will be happy you asked in their place).

Cheers, Robert

This notice serves as a warning: Unfortunately, we have discovered cases of plagiarism in the exercise sheet submissions. We have automated ways of identifying such plagiarism, and once found, treat fraud cases very serious. We thus highly suggest to follow these rules:

• It is OK to submit your solution in teams of up to two persons. It is fraudulent if multiple teams share the same solution. While we encourage you to discuss the sheets collaboratively even in larger groups, each submission has to be individual.
• Articulate your solutions using your own wording and refrain from copying text you found elsewhere. If need be, please mark and cite any text parts that you copied from other sources (e.g., books, online articles, etc.)

Please take this advice into account for any subsequent submission, if you have not done so already. Any violation may disqualify you from this lecture (and, in the worst case, from the overall study program).

We have uploaded the slides of today's Python tutorial.

Additionally, we provide a voluntary exercise sheet. You can test your solutions using the provided test script. We highly recommend solving these challenges, as further Python exercises will appear in the mandatory exercise sheets. This Python exercise sheet is ungraded and does not need to be handed in.

Please note the following changes to our original tutorial schedule:

1. To not stand in your way for the upcoming bridge day just before May 1, we will not have tutorials on April 30. Instead, we will discuss the first two exercise sheets in the week after on May 7th.
2. We will have two out-of-band tutorials on upcoming Monday, April 23. Michael Brengel will give you an introduction to Python, which especially those students without any background in Python are highly encouraged to attend. Both tutorials will cover identical content and last about 90 min. Feel free to choose the time slot that suites you more. Monday 10:00 will be in GHH (our normal lecture hall), and Monday 14:00 will be in HS001 in E1 3 (CS building).

We have opened the registration for this lecture. The registration deadline on Sunday 15.04.2018 at 23:59.

We offer tutorials on Mondays from 10-12, 12-14, and 14-16. During registration you can select your preferences. We will try to assign you your preferred choice. Your preferences can be changed until Sunday 15.04.2018 at 23:59.