Experience.
Talks
- A Symbolic Analysis of ECC-based Direct Anonymous Attestation
- Talk at, IEEE Euro Security & Privacy 2019, Stockholm, Sweden, June 2019
- Direct Anonymous Attestation in the Wild
- Talk at, Real World Crypto 2019, San Jose, California, USA, January 2019
- Formal Analysis and Applications of Direct Anonymous Attestation​
- Talk at, 1st RISE Annual Conference, London, United Kingdom, November 2018
- Privacy-Enhanced Capabilities for VANETs using Direct Anonymous Attestation
- Talk at, Department of Computer Science, Aalto University, Espoo, Finland, September 2018
- Talk at, IEEE Vehicular Networking Conference (VNC) 2017, Torino, Italy, November 2017
- Formal Analysis of V2X Revocation Protocols
- Talk at, 13th International Workshop on Security and Trust Management, Oslo, Norway, September 2017
Reviewer
- European Symposium on Research in Computer Security (ESORICS) 2018
- integrated Formal Methods (iFM) 2018
- IEEE Transactions on Dependable and Secure Computing (TDSC) 2017/18
Qualifications
- Fellow of The Higher Education Academy. UK Professional Standards Framework for teaching and learning support in higher education. 2017
- BSc. Computer Science (Hons), University of Surrey, UK. 2011 - 2015