Seminal Papers in Security Protocol Verification

Cas Cremers, Alexander Dax, Niklas Medinger

News

Seminar Cancellation

Written on 21.04.23 by Niklas Medinger

Dear all,

 

We regret to inform you that this semester's iteration of the seminar has been cancelled due to limited interest.

However, we will offer the seminar again in the future.

We apologize for any inconvenience this may have caused and thank you for your… Read more

Dear all,

 

We regret to inform you that this semester's iteration of the seminar has been cancelled due to limited interest.

However, we will offer the seminar again in the future.

We apologize for any inconvenience this may have caused and thank you for your understanding.

 

Best,

Niklas

New Date for Kick-Off Meeting: 25.04.23, 2:00 pm

Written on 18.04.23 by Niklas Medinger

Hi All,

the new date for the Kick-Off Meeting is Tuesday 25.04.23, 2:00 pm.

Best,

Niklas

Delayed Kick-Off Meeting

Written on 18.04.23 by Niklas Medinger

Dear All,

Since you have not been assigned to your Proseminar/Seminar yet, we have decided to postpone the Kickoff Meeting by one week.
We will inform you of the new date as soon as possible.

Best,

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