Johannes Krupp

Artificial Intelligence · 2018

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

Subfields

Whom Johannes Krupp trusts overall

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

  1. D. Wood
  2. Leonardo de Moura
  3. Nikolaj S. Bjørner
  4. Karthikeyan Bhargavan
  5. Nils J. Nilsson
  6. Antoine Delignat-Lavaud

Who trusts Johannes Krupp overall

  1. Josselin Feist
  2. Huashan Chen
  3. Tai D. Nguyen
  4. Ivica Nikolic
  5. Lexi Brent
  6. Gustavo Grieco
  7. Alex Groce
  8. Marcus Pendleton
  9. Long H. Pham
  10. Aashish Kolluri

Papers from Johannes Krupp's perspective

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

  1. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
  2. Z3: An Efficient SMT Solver
  3. A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
  4. Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
  5. Unleashing Mayhem on Binary Code (IEEE Symposium on Security and Privacy)
  6. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
  7. ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
  8. A Formal Basis for the Heuristic Determination of Minimum Cost Paths
  9. Bitcoin : A Peer-to-Peer Electronic Cash System
  10. Bitcoin: A Peer-to-Peer Electronic Cash System

Their papers