Aquinas Hobor

IACR Cryptology ePrint Archive · 2016–2018

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

Whom Aquinas Hobor trusts overall

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

  1. Anthony Dewayne Hunt

Who trusts Aquinas Hobor overall

  1. Alex Groce
  2. Josselin Feist
  3. Gustavo Grieco
  4. Julian Schütte
  5. Radu State
  6. Christof Ferreira Torres
  7. Zhenguang Liu
  8. Yuan Zhuang
  9. Peng Qian

Papers from Aquinas Hobor's perspective

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

  1. Bitcoin: A Peer-to-Peer Electronic Cash System
  2. Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
  3. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  4. Demystifying Incentives in the Consensus Computer
  5. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  6. Z3: An Efficient SMT Solver
  7. The SeaHorn Verification Framework (International Conference on Computer Aided Verification)
  8. ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
  9. Spanner: Google's Globally-Distributed Database (USENIX Symposium on Operating Systems Design and Implementation)
  10. Megastore: Providing Scalable, Highly Available Storage for Interactive Services (Conference on Innovative Data Systems Research)

Their papers