Hands-On Protocol Verification

Termine

Terminkategorie

Bi-weekly meeting

Titel

Discussion 2

Ort

2.22 

Details

1. Julian Augustin: tamarin-prover + DANE
2. Lena Maria Budde: 4-way handshake + SAPIC 

Startzeit

11.12.2018 12:15

Endzeit

11.12.2018 14:15

den ganzen Tag

No