Thomas Espitau

2015

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

Whom Thomas Espitau trusts overall

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

  1. Nick Benton
  2. Gilles Barthe

Who trusts Thomas Espitau overall

  1. Gilles Barthe

Papers from Thomas Espitau's perspective

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

  1. Optimal Transport: Old and New
  2. Coupling, stationarity, and regeneration
  3. Formal Certification of Code-Based Cryptographic Proofs.
  4. Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
  5. Simple relational correctness proofs for static analyses and program transformations
  6. Computer-Aided Security Proofs for the Working Cryptographer (Annual International Cryptology Conference)
  7. Lectures on the Coupling Method
  8. Probabilistic Extensions of Process Algebras
  9. The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs (International Conference on the Theory and Application of Cryptographic Techniques)
  10. Formal certification of code-based cryptographic proofs

Their papers