Mark Dermot Ryan
Artificial Intelligence · 2009–2013
A researcher in the Science corpus: 2 papers; trusts 8 researchers and is trusted by 3 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 15 citations into it; #25,743 of 35,345 by trust here, #30,347 by citations
- Computer Networks and Communications — 7 citations into it; #6,910 of 9,886 by trust here, #9,214 by citations
- Information Systems — 7 citations into it
Whom Mark Dermot Ryan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- John Bethencourt
- Craig Gentry
- Amit Sahai
- Bruno Blanchet
- Jonathan M. McCune
- Brent Waters
- Yanpei Chen
- Liqun Chen
Who trusts Mark Dermot Ryan overall
Papers from Mark Dermot Ryan's perspective
Ordered by how strongly the researchers Mark Dermot Ryan trusts endorse each paper. Same corpus, a different order for every researcher.
- Fully homomorphic encryption using ideal lattices
- Untraceable electronic mail, return addresses, and digital pseudonyms
- Ciphertext-Policy Attribute-Based Encryption (IEEE Symposium on Security and Privacy)
- An efficient cryptographic protocol verifier based on prolog rules (Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.)
- Flicker: an execution infrastructure for tcb minimization (European Conference on Computer Systems)
- TrustVisor: Efficient TCB Reduction and Attestation
- A protocol for property-based attestation
- Automated verification of selected equivalences for security protocols (20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05))
- Towards an Information Theoretic Metric for Anonymity (International Symposium on Privacy Enhancing Technologies)
- Towards Measuring Anonymity (International Symposium on Privacy Enhancing Technologies)
Their papers
- Cloud computing security: The scientific challenge, and a survey of solutions (2013) — 374 citations
- Verifying privacy-type properties of electronic voting protocols (2009) — 381 citations