Verification of cryptographic protocols: modular analysis of equivalence properties

Project Details

StatusFinished
Effective start/end date1/11/16 → 30/09/18

Funding

  • EPSRC: £122,217.00

Fingerprint

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.
View full fingerprint
  • 1 Conference contribution

  • A Formal Treatment of Hardware Wallets

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File