P
Peter Y. A. Ryan
9 works on record
Works
Formal aspects of security
Formal aspects in security and trust
Formal Methods in Systems Engineering
Computer Security – ESORICS 2019
Financial Cryptography and Data Security
The New Codebreakers
Computer Security -- ESORICS 2015
Real-World Electronic Voting
Real-World Electronic Voting
2016
E-Voting and Identity
E-Voting and Identity