Timetable

Event Category: Proto verification
Title: PROTO4: Privacy
Location: https://cispa-de.zoom.us/j/99708000942?pwd=Z3YxNHg5RXpMd3VLRFpSMW9YSDJuUT09
Details
Starttime: 03.02.2021
Endtime: N/A
the whole day: Yes

Formal Methods in Security