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