Formal Verification of Security Protocols
- Speaker：Anca D. Jurcut
- Time：2017-12-21（Thur.）10:30-12:00
- Location：南山智园A7栋1008室
Address：Office 444A, South Tower, CoE Building,SUSTech,1088 Xueyuan Avenue, Nanshan District, Shenzhen 518055, P.R. China