Quang Tran Minh

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 Quang Tran Minh trusts overall

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

  1. Phil McMinn

Papers from Quang Tran Minh's perspective

Ordered by how strongly the researchers Quang Tran Minh 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. Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
  9. Search‐based software test data generation: a survey (Software testing, verification & reliability)
  10. Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Their papers