Antoine Delignat-Lavaud

Artificial Intelligence · 2015–2016

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

Subfields

Whom Antoine Delignat-Lavaud trusts overall

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

  1. Anthony Dewayne Hunt
  2. Serge Vaudenay
  3. Jean-Christophe Filliâtre

Who trusts Antoine Delignat-Lavaud overall

  1. Johannes Krupp
  2. Maher Alharby

Papers from Antoine Delignat-Lavaud's perspective

Ordered by how strongly the researchers Antoine Delignat-Lavaud trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Bitcoin: A Peer-to-Peer Electronic Cash System
  2. Monadic Presentations of Lambda Terms Using Generalized Inductive Types
  3. Liquid types (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Authenticated-encryption with associated-data (Conference on Computer and Communications Security)
  5. Type-based termination: a polymorphic lambda-calculus with sized higher-order types
  6. Refinement types for Haskell (ACM SIGPLAN International Conference on Functional Programming)
  7. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  8. Dependent types and multi-monadic effects in F* (ACM-SIGACT Symposium on Principles of Programming Languages)
  9. Analysis of the SSL 3.0 protocol
  10. The Transport Layer Security (TLS) Protocol Version 1.1 (Request for Comments)

Their papers