Léo Stefanesco

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 Léo Stefanesco trusts

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

  1. Nick Benton (in Artificial Intelligence)

Papers from Léo Stefanesco's perspective

Ordered by how strongly the researchers Léo Stefanesco 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