Gustavo Grieco

Artificial Intelligence · 2019

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

Subfields

Whom Gustavo Grieco trusts overall

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

  1. Johannes Krupp
  2. Hubert Garavel
  3. Loi Luu
  4. Christian Rossow
  5. Petar Tsankov

Who trusts Gustavo Grieco overall

  1. Zhenguang Liu

Papers from Gustavo Grieco's perspective

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

  1. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  2. Under-optimized smart contracts devour your money (IEEE International Conference on Software Analysis, Evolution, and Reengineering)
  3. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts (USENIX Security Symposium)
  4. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (Asia-Pacific Computer Systems Architecture Conference)
  5. Vandal: A Scalable Security Analysis Framework for Smart Contracts (arXiv.org)
  6. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  7. SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis (IEEE Symposium on Security and Privacy)
  8. Securify: Practical Security Analysis of Smart Contracts (Conference on Computer and Communications Security)
  9. Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)
  10. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER

Their papers