Jean Karim Zinzindohoue

Artificial Intelligence · 2015–2016

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

Subfields

Whom Jean Karim Zinzindohoue trusts

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

  1. Serge Vaudenay (in Artificial Intelligence)

Papers from Jean Karim Zinzindohoue's perspective

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

  1. Monadic Presentations of Lambda Terms Using Generalized Inductive Types
  2. Analysis of the SSL 3.0 protocol
  3. The Transport Layer Security (TLS) Protocol Version 1.1 (Request for Comments)
  4. Security Flaws Induced by CBC Padding - Applications to SSL, IPSEC, WTLS (International Conference on the Theory and Application of Cryptographic Techniques)
  5. Liquid types (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Authenticated-encryption with associated-data (Conference on Computer and Communications Security)
  7. Type-based termination: a polymorphic lambda-calculus with sized higher-order types
  8. Refinement types for Haskell (ACM SIGPLAN International Conference on Functional Programming)
  9. Probabilistic Encryption
  10. Sequences of games: a tool for taming complexity in security proofs (IACR Cryptology ePrint Archive)

Their papers