Tai D. Nguyen

Information Systems · 2020

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

Subfields

Whom Tai D. Nguyen trusts overall

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

  1. Phil McMinn
  2. Mark Harman
  3. Johannes Krupp
  4. Patrice Godefroid
  5. Tobias Nipkow
  6. Bo Jiang
  7. Christof Ferreira Torres
  8. Loi Luu
  9. Ivica Nikolic
  10. Christian Rossow

Papers from Tai D. Nguyen's perspective

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

  1. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  2. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
  4. A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
  5. A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search (IEEE Transactions on Software Engineering)
  6. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (Asia-Pacific Computer Systems Architecture Conference)
  7. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts (USENIX Security Symposium)
  8. Search‐based software test data generation: a survey (Software testing, verification & reliability)
  9. Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
  10. Blockchain challenges and opportunities: a survey (International Journal of Web and Grid Services)

Their papers