Steve Kremer

Artificial Intelligence · 2009

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

Subfields

• Artificial Intelligence — 9 citations into it; #25,744 of 35,345 by trust here, #33,294 by citations
• Computer Networks and Communications — 6 citations into it; #6,911 of 9,886 by trust here, #9,214 by citations

Whom Steve Kremer trusts overall

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

1. Bruno Blanchet
2. David Chaum

Who trusts Steve Kremer overall

1. Isabel Wagner
2. Bruno Blanchet

Papers from Steve Kremer's perspective

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

1. An efficient cryptographic protocol verifier based on prolog rules (Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.)
2. Automated verification of selected equivalences for security protocols (20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05))
3. Untraceable electronic mail, return addresses, and digital pseudonyms
4. Towards an Information Theoretic Metric for Anonymity (International Symposium on Privacy Enhancing Technologies)
5. Towards Measuring Anonymity (International Symposium on Privacy Enhancing Technologies)
6. A Practical Voter-Verifiable Election Scheme (European Symposium on Research in Computer Security)
7. Coercion-resistant electronic elections (Workshop on Privacy in the Electronic Society)
8. Constraint solving for bounded-process cryptographic protocol analysis (Conference on Computer and Communications Security)
9. New Directions in Cryptography
10. Information flow inference for ML (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers

• Verifying privacy-type properties of electronic voting protocols (2009) — 381 citations