Ilya Sergey

Asia-Pacific Computer Systems Architecture Conference · 2018

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

Whom Ilya Sergey trusts overall

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

  1. Anthony Dewayne Hunt

Papers from Ilya Sergey's perspective

Ordered by how strongly the researchers Ilya Sergey 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. Z3: An Efficient SMT Solver
  4. The SeaHorn Verification Framework (International Conference on Computer Aided Verification)
  5. ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
  6. Why3 - Where Programs Meet Provers (European Symposium on Programming)
  7. Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact (Future generations computer systems)
  8. A Semantic Framework for the Security Analysis of Ethereum smart contracts (The post)
  9. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts (USENIX Security Symposium)
  10. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER

Their papers