1/10/14 → …
1/10/13 → …
Awarded a Masters degree in Computer Science from the University of Oxford.
Model Checking, Verification of Security Protocols, Formal Methods.
Research output: Thesis › Doctoral Thesis
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ID: 17725181