Peter Y. A. Ryan
European Symposium on Research in Computer Security · 2000–2009
A researcher in the Science corpus: 4 papers; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Peter Y. A. Ryan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Peter Y. A. Ryan overall
Papers from Peter Y. A. Ryan's perspective
Ordered by how strongly the researchers Peter Y. A. Ryan trusts endorse each paper. Same corpus, a different order for every researcher.
- A verifiable secret shuffle and its application to e-voting
- Secret-ballot receipts: True voter-verifiable elections (IEEE Security & Privacy Magazine)
- Abstract Interpretation Frameworks
- INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
- Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)* (Journal of Cryptology)
- Reasoning about knowledge
- Wallet Databases with Observers
- New Directions in Cryptography
- Handbook of Applied Cryptography
- Untraceable electronic mail, return addresses, and digital pseudonyms
Their papers
- Journal of Computer Security (2009) — 40 citations
- A Practical Voter-Verifiable Election Scheme (2005) — 408 citations
- Opacity generalised to transition systems (2005) — 340 citations
- The modelling and analysis of security protocols: the csp approach (2000) — 315 citations