A. Myers
Artificial Intelligence · 2000–2016
A researcher in the Science corpus: 7 papers; trusts 9 researchers and is trusted by 17 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 23 citations into it; #9,828 of 35,345 by trust here, #9,369 by citations
- Hardware and Architecture — 10 citations into it; #1,094 of 1,551 by trust here, #828 by citations
- Computer Networks and Communications — 7 citations into it; #2,891 of 9,886 by trust here, #2,424 by citations
- Signal Processing — 7 citations into it; #2,605 of 7,572 by trust here, #1,669 by citations
Whom A. Myers trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Andrei Sabelfeld
- Josh Benaloh
- David Sands
- Ari Juels
- Markus Jakobsson
- Mihir Bellare
- Amos Fiat
- R. Deline
- Martin Hirt
Who trusts A. Myers overall
- Andrei Sabelfeld
- Michael R. Clarkson
- André DeHon
- David Sands
- Ashay Rane
- William Enck
- Yuxin Wang
- Dominic Duggan
- Rohit Sinha
- Yao-Wen Huang
Papers from A. Myers's perspective
Ordered by how strongly the researchers A. Myers trusts endorse each paper. Same corpus, a different order for every researcher.
- INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
- Random oracles are practical: a paradigm for designing efficient protocols
- Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
- Bisimulation through Probabilistic Testing
- Efficient signature generation by smart cards
- Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Probabilistic noninterference for multi-threaded programs (Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13)
- Verifiable secret-ballot elections
- How to Prove Yourself: Practical Solutions to Identification and Signature Problems
- How to play ANY mental game
Their papers
- Language-based information-flow security (2003) — 2,222 citations
- A Hardware Design Language for Timing-Sensitive Information-Flow Security (2015) — 256 citations
- Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (2016) — 80 citations
- Civitas: Toward a Secure Voting System (2008) — 461 citations
- Polyglot: An Extensible Compiler Framework for Java (2003) — 462 citations
- Observational determinism for concurrent program security (2003) — 301 citations
- Protecting privacy using the decentralized label model (2000) — 632 citations