Stephen Chong

Artificial Intelligence · 2000–2017

A researcher in the Science corpus: 3 papers; trusts 18 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 17 citations into it; #23,523 of 35,345 by trust here, #28,481 by citations
• Information Systems — 6 citations into it; #5,220 of 8,771 by trust here, #7,997 by citations
• Signal Processing — 5 citations into it

Whom Stephen Chong trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Josh Benaloh
2. Ari Juels
3. Markus Jakobsson
4. Mihir Bellare
5. Amos Fiat
6. Leonardo de Moura
7. Martin Hirt
8. Sarfraz Khurshid
9. Swarat Chaudhuri
10. Dimiter Milushev

Who trusts Stephen Chong overall

1. Michael Hind
2. Andreas Zeller
3. Boyi Li

Papers from Stephen Chong's perspective

Ordered by how strongly the researchers Stephen Chong trusts endorse each paper. Same corpus, a different order for every researcher.

1. Random oracles are practical: a paradigm for designing efficient protocols
2. Efficient signature generation by smart cards
3. Symbolic execution and program testing
4. Public-Key Cryptosystems Based on Composite Degree Residuosity Classes
5. Verifiable secret-ballot elections
6. How to Prove Yourself: Practical Solutions to Identification and Signature Problems
7. How to play ANY mental game
8. Practical multi-candidate election system (ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing)
9. Wallet Databases with Observers
10. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)

Their papers

• Shape Analysis (2000) — 137 citations
• Relational Symbolic Execution (2017) — 31 citations
• Civitas: Toward a Secure Voting System (2008) — 461 citations