👤

Peter Y. A. Ryan

6 books

Books by Peter Y. A. Ryan

Computer Security – ESORICS 2019
Computer Security – ESORICS 2019
2019
The New Codebreakers
The New Codebreakers
2016
Computer Security -- ESORICS 2015
Computer Security -- ESORICS 2015
2015
E-Voting and Identity
E-Voting and Identity
2007
Formal aspects of security
Formal aspects of security
2004
Formal Methods in Systems Engineering
Formal Methods in Systems Engineering
1993