Michael Kong

Artificial Intelligence · 2018

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

Subfields

Whom Michael Kong trusts overall

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

  1. Martin Bravenboer
  2. Ilya Grishchenko
  3. Karthikeyan Bhargavan

Papers from Michael Kong's perspective

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

  1. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  2. Bitcoin: A Peer-to-Peer Electronic Cash System
  3. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
  4. A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
  5. Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
  6. Under-optimized smart contracts devour your money (IEEE International Conference on Software Analysis, Evolution, and Reengineering)
  7. ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
  8. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
  9. Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  10. MadMax: surviving out-of-gas conditions in Ethereum smart contracts (Proc. ACM Program. Lang.)

Their papers