Johannes Wilson vid Institutionen för datavetenskap (IDA) försvarar sin licentiatavhandling med titeln "Towards Practical Formal Verification of Cryptographic Protocol Specifications and Implementations".
Huvudhandledare: Mikael Asplund, biträdande professor, IDA
Opponent: Sebastian Mödersheim, lektor, DTU Compute, Danmarks Tekniske Universitet
Disputationen är öppen för allmänheten och hålls på engelska.
