News

Re-Exam Inspection

Written on 06.09.18 by Jonas Bushart

Dear Students,

the exam inspection of the main exam will be held Mon. 17.09. between 10:00 and 12:00 in CISPA (E9.1) room 0.06.

The re-exams results are already uploaded and are visible on your Personal Status page.

Re-Exam

Written on 04.09.18 by Jonas Bushart

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… Read more

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.

Exam Inspection Friday

Written on 07.08.18 by Jonas Bushart

Dear Students,

the exam inspection of the main exam will be held this Friday (10. August) between 13:30 and 15:30 in CISPA (E9.1) room 0.06.

We are planning to release the results of the exam tomorrow evening.

Main Exam - Update

Written on 30.07.18 (last change on 30.07.18) by Jonas Bushart

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… Read more

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.

LSF Registration

Written on 23.07.18 by Jonas Bushart

Dear Students,

we have uploaded the points for the last exercise sheet. You can now see the status of your exam eligibility on your Personal Status page. Remember to register in the LSF until Thursday, if you want to write the main exam next week.

Last Lecture and Q&A Session

Written on 16.07.18 by Jonas Bushart

Dear Students,

the last lecture will contain a Q&A session, for you as exam preparation. Please post any questions which you have to the Askbot or per email.

We will also discuss the last exercise sheet, as there are no tutorials next week.

Please install proverif // no need to learn inference rules by hard

Written on 18.06.18 (last change on 18.06.18) by Robert Künnemann

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… Read more

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

Tutorial D: Merge into Tutorial A

Written on 16.06.18 by Jonas Bushart

Dear Students of Tutorial D,

starting from next week (Mon, 18. June) Tutorial D will be merged into Tutorial A. The new tutorial room is E1.3 0.14 (next to the old room). The time stays the same.

Revised lecture script and typo in exercise sheet

Written on 07.06.18 by Robert Künnemann

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… Read more

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

Lecture script online

Written on 05.06.18 by Robert Künnemann

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… Read more

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

Plagiarism in Exercise Sheet Submissions

Written on 29.05.18 by Jonas Bushart

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:

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

Exercise 6.2.2: Solution Hint

Written on 29.05.18 (last change on 29.05.18) by Jonas Bushart

Dear students,

regarding the Broken Echo Server exercise. There is no multiplexing error in this exercise. The following line is correct:

(connection, addr) = sock.accept()

Python Tutorial: Slides and Exercises

Written on 23.04.18 by Jonas Bushart

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… Read more

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.

Tutorial planning: No tutorial on April 30, Python tutorial on April 23

Written on 18.04.18 by Christian Rossow

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… Read more

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

Exception: Tomorrow, April 19th, Lecture Room HS01 in E2 5

Written on 18.04.18 by Christian Rossow

Gentle reminder: Tomorrow, due to construction works in our normal lecture hall, we will be in lecture hall HS I in E2 5.

Map guidance see here: https://www.uni-saarland.de/footer/dialog/anfahrt/lageplan/interaktiv.html

Tutorial Assignment

Written on 18.04.18 by Jonas Bushart

We have assigned you to the tutorials. We could assign 94% of you to your primary tutorial choice, the rest to their secondary choices.

You can check your tutorial assignment on your personal status page in CMS.

Registration and Tutorial Selection Opened

Written on 06.04.18 (last change on 06.04.18) by Jonas Bushart

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… Read more

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.

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