Karthikeyan Bhargavan

Artificial Intelligence · 2006–2016

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

Subfields

Whom Karthikeyan Bhargavan trusts overall

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

  1. Bruno Blanchet
  2. Anthony Dewayne Hunt
  3. Jean-Christophe Filliâtre
  4. Serge Vaudenay
  5. Martín Abadi
  6. Loi Luu
  7. Cédric Fournet
  8. A. Paskevich
  9. Nikhil Swamy

Who trusts Karthikeyan Bhargavan overall

  1. Johannes Krupp
  2. Maher Alharby
  3. Ilya Grishchenko
  4. Lexi Brent
  5. Petar Tsankov
  6. Zhenguang Liu
  7. Shuai Wang
  8. Christian Rossow
  9. Aad P. A. van Moorsel
  10. Michael Kong

Papers from Karthikeyan Bhargavan's perspective

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

  1. An efficient cryptographic protocol verifier based on prolog rules (Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.)
  2. Automated verification of selected equivalences for security protocols (20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05))
  3. Bitcoin: A Peer-to-Peer Electronic Cash System
  4. Monadic Presentations of Lambda Terms Using Generalized Inductive Types
  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. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  10. Dependent types and multi-monadic effects in F* (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers