Stéphanie Delaune

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,742 of 35,345 by trust here, #33,294 by citations
• Computer Networks and Communications — 6 citations into it; #6,909 of 9,886 by trust here, #9,214 by citations

Whom Stéphanie Delaune trusts overall

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

1. Bruno Blanchet
2. David Chaum
3. Martín Abadi
4. Andrei Serjantov

Who trusts Stéphanie Delaune overall

1. Isabel Wagner
2. Bruno Blanchet
3. David Eckhoff

Papers from Stéphanie Delaune's perspective

Ordered by how strongly the researchers Stéphanie Delaune 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. Constraint solving for bounded-process cryptographic protocol analysis (Conference on Computer and Communications Security)
7. A Practical Voter-Verifiable Election Scheme (European Symposium on Research in Computer Security)
8. Coercion-resistant electronic elections (Workshop on Privacy in the Electronic Society)
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