Invited Talk



Speaker:Dr. Karthikeyan Bhargavan
Research Scientist, Inria Paris
(an Inria director of research specialised in the security of data exchanges on the Internet)
Title:Don't Trust, Verify: Towards High-Assurance Cryptographic Software
Abstract:TBA



Speaker:Prof. Doug Tygar
Professor of Computer Science & Information, UC Berkeley
Title:TBA
Abstract:TBA