Hands-On Protocol Verification

Robert Künnemann

Termine

Terminübersicht Kalender anzeigen
Terminkategorie
Bi-weekly meeting
Titel
Discussion 5
Ort
2.22 
Details
1. Julian Augustin: tamarin-prover
2. Lena Maria Budde: SAPIC  
Startzeit
05.02.2019 12:15
Endzeit
05.02.2019 14:15
den ganzen Tag
No
Datenschutz | Impressum
Bitte wenden Sie sich bei technischen Problemen an die Administratoren.