Cjf Cas Cremers

Computer Networks and Communications · 2006

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

Subfields

Whom Cjf Cas Cremers trusts overall

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

  1. Bruno Blanchet
  2. David A. Basin
  3. Colin Boyd
  4. Giuseppe Ateniese
  5. Vitaly Shmatikov
  6. Ran Canetti
  7. Sebastian Alexander Mödersheim
  8. Michael Steiner
  9. Luca Viganò
  10. Gene Tsudik

Who trusts Cjf Cas Cremers overall

  1. Cas J. F. Cremers
  2. Jothi Prasanna Shanmuga Sundaram
  3. Wan Du
  4. Zhiwei Zhao

Papers from Cjf Cas Cremers's perspective

Ordered by how strongly the researchers Cjf Cas 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. OFMC: A symbolic model checker for security protocols (International Journal of Information Security)
  3. Universally composable security: a new paradigm for cryptographic protocols
  4. Constraint solving for bounded-process cryptographic protocol analysis (Conference on Computer and Communications Security)
  5. The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (International Conference on Computer Aided Verification)
  6. New multiparty authentication services and key agreement protocols (IEEE Journal on Selected Areas in Communications)
  7. New Directions in Cryptography
  8. Protocols for Authentication and Key Establishment (Information Security and Cryptography)
  9. Handbook of Applied Cryptography
  10. Random oracles are practical: a paradigm for designing efficient protocols

Their papers