Cas J. F. Cremers

Artificial Intelligence · 2008–2020

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

Subfields

• Artificial Intelligence — 17 citations into it; #20,808 of 35,345 by trust here, #32,362 by citations
• Computer Networks and Communications — 11 citations into it; #5,274 of 9,886 by trust here, #8,844 by citations
• Information Systems — 10 citations into it; #4,507 of 8,771 by trust here, #8,258 by citations
• Computer Vision and Pattern Recognition — 5 citations into it

Whom Cas J. F. Cremers trusts overall

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

1. Bruno Blanchet
2. Cjf Cas Cremers
3. Hugo Krawczyk
4. Mihir Bellare
5. Brian A. LaMacchia
6. David A. Basin
7. Phillip Rogaway
8. Ran Canetti

Who trusts Cas J. F. Cremers overall

1. Simon Meier
2. Benedikt Schmidt
3. David A. Basin

Papers from Cas J. F. Cremers's perspective

Ordered by how strongly the researchers Cas J. F. Cremers 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 AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (International Conference on Computer Aided Verification)
3. Authenticated Key Exchange Secure against Dictionary Attacks (International Conference on the Theory and Application of Cryptographic Techniques)
4. Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels (International Conference on the Theory and Application of Cryptographic Techniques)
5. The Gap-Problems: A New Class of Problems for the Security of Cryptographic Schemes (International Conference on Theory and Practice of Public Key Cryptography)
6. HMQV: A High-Performance Secure Diffie-Hellman Protocol (Annual International Cryptology Conference)
7. OFMC: A symbolic model checker for security protocols (International Journal of Information Security)
8. A Forward-Secure Public-Key Encryption Scheme (Journal of Cryptology)
9. The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (International Conference on Computer Aided Verification)
10. Stronger Security of Authenticated Key Exchange (Provable Security)

Their papers

• The TAMARIN Prover for the Symbolic Analysis of Security Protocols (2013) — 778 citations
• Decentralized Privacy-Preserving Proximity Tracing (2020) — 366 citations
• A Formal Security Analysis of the Signal Messaging Protocol (2017) — 374 citations
• The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols (2008) — 813 citations