Formal analysis of real-world security protocols

Personal Data

Your username is visible for other students in the forum and can give you anonymity against your fellow students. Of course you can also choose First name.Last name as your username. The username will be used for login.

As a juniorstudent, please enter 0 for your terms at university.

Password

With your username and password, you can access all course data, for example your exam results and gradings. Keep your password secret!

Information about data processing: Soweit die Universität des Saarlandes zur Erfüllung der ihr gesetzliche übertragenen Aufgaben in Forschung und Lehre tätig wird ergibt sich die Rechtsgrundlage der Verarbeitung aus § 3 Abs. 13 Saarländisches Hochschulgesetz.

Unregister

If you are registered in the HISPOS for this course, you can unregister according to the exam regulations until one week before the first exam.