Benedikt Schmidt

International Conference on Computer Aided Verification · 2013

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

Whom Benedikt Schmidt trusts overall

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

  1. Bruno Blanchet
  2. Cas J. F. Cremers
  3. Brian A. LaMacchia

Papers from Benedikt Schmidt's perspective

Ordered by how strongly the researchers Benedikt Schmidt 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. The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (International Conference on Computer Aided Verification)
  3. Stronger Security of Authenticated Key Exchange (Provable Security)
  4. Authenticated Key Exchange Secure against Dictionary Attacks (International Conference on the Theory and Application of Cryptographic Techniques)
  5. Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels (International Conference on the Theory and Application of Cryptographic Techniques)
  6. The Gap-Problems: A New Class of Problems for the Security of Cryptographic Schemes (International Conference on Theory and Practice of Public Key Cryptography)
  7. HMQV: A High-Performance Secure Diffie-Hellman Protocol (Annual International Cryptology Conference)
  8. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (International Conference on Computer Aided Verification)
  9. Random oracles are practical: a paradigm for designing efficient protocols
  10. The Knowledge-of-Exponent Assumptions and 3-Round Zero-Knowledge Protocols

Their papers