Sylvain Heraud

Artificial Intelligence · 2011

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

Whom Sylvain Heraud trusts overall

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

  1. Victor Shoup
  2. Bruno Blanchet
  3. Mihir Bellare
  4. Gilles Barthe

Who trusts Sylvain Heraud overall

  1. Gilles Barthe

Papers from Sylvain Heraud's perspective

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

  1. Sequences of games: a tool for taming complexity in security proofs (IACR Cryptology ePrint Archive)
  2. A Practical Public Key Cryptosystem Provably Secure Against Adaptive Chosen Ciphertext Attack
  3. The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs (International Conference on the Theory and Application of Cryptographic Techniques)
  4. Formal certification of code-based cryptographic proofs
  5. Probabilistic Extensions of Process Algebras
  6. A computationally sound mechanized prover for security protocols (IEEE Symposium on Security and Privacy)
  7. Simplify: a theorem prover for program checking (JACM)
  8. Formal Certification of Code-Based Cryptographic Proofs.
  9. Probabilistic Encryption
  10. Random oracles are practical: a paradigm for designing efficient protocols

Their papers