Long H. Pham

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 Long H. Pham 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

Papers from Long H. Pham's perspective

Ordered by how strongly the researchers Long H. Pham 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. Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Their papers