Verification of cryptographic protocols: modular analysis of equivalence properties

Project Details

Effective start/end date1/11/1630/09/18


  • EPSRC: £122,217.00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • A Formal Treatment of Hardware Wallets

    Arapinis, M., Gkaniatsou, A., Karakostas, D. & Kiayias, A., 30 Sep 2019, Financial Cryptography and Data Security : 23rd International Conference, FC 2019. Springer, Cham, p. 426-445 20 p. (Lecture Notes in Computer Science (LNCS); vol. 11598).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access