Aashish Kolluri

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 Aashish Kolluri trusts overall

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

  1. Anthony Dewayne Hunt
  2. Leonardo de Moura
  3. Jean-Christophe Filliâtre
  4. Johannes Krupp
  5. Ilya Grishchenko
  6. Arie Gurfinkel

Who trusts Aashish Kolluri overall

  1. Christof Ferreira Torres
  2. Bo Jiang

Papers from Aashish Kolluri's perspective

Ordered by how strongly the researchers Aashish Kolluri 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. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts (USENIX Security Symposium)
  8. Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact (Future generations computer systems)
  9. A Semantic Framework for the Security Analysis of Ethereum smart contracts (The post)
  10. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER

Their papers