Peter Y. A. Ryan
Books
- Financial Cryptography and Data Security
- Formal Aspects in Security and Trust
- Computer Security -- ESORICS 2015
- Real-World Electronic Voting
- The New Codebreakers
- E-Voting and Identity
- Computer Security – ESORICS 2019
- Formal aspects of security
- Formal Methods in Systems Engineering
- Formal aspects in security and trust
Author data: Open Library