Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs

Instructors

Bild
Swen Jacobs
Contact: ( )


Teaching Assistants

Bild
Norine Coenen
Contact: ( )
Tutorial #4: Wednesday, 04:00 in
Tutorial #5: Wednesday, 05:00 in

Bild
Christopher Hahn
Contact: ( )
Tutorial #6: Wednesday, 06:00 in
Tutorial #7: Wednesday, 07:00 in
Tutorial #12: Wednesday, 12:00 in

Bild
Noemi Passing
Contact: ( )
Tutorial #1: Wednesday, 01:00 in
Tutorial #2: Wednesday, 02:00 in

Bild
Mouhammad Sakr
Contact: ( )
Tutorial #3: Wednesday, 03:00 in
Tutorial #8: Wednesday, 08:00 in
Tutorial #9: Wednesday, 09:00 in

Bild
Leander Tentrup
Contact: ( )
Tutorial #10: Wednesday, 10:00 in
Tutorial #11: Wednesday, 11:00 in




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