diff --git a/papers/README.md b/papers/README.md index 623778a..9b28dcd 100644 --- a/papers/README.md +++ b/papers/README.md @@ -1,26 +1,26 @@ # Papers -## "arbitrary write" (Choi et al., 2021) +## SMARTIAN: Enhancing Smart Contract Fuzzingwith Static and Dynamic Data-Flow Analyses -- title: SMARTIAN: Enhancing Smart Contract Fuzzingwith Static and Dynamic Data-Flow Analyses +- listed as: "arbitrary write" (Choi et al., 2021) - from: [IEEE](https://ieeexplore.ieee.org/document/9678888) - file: [PDF](choi-ase2021.pdf) -## "buffer-overwrite" (Pani et al., 2023) +## SmartFuzzDriverGen: Smart ContractFuzzing Automation for Golang -- title: SmartFuzzDriverGen: Smart ContractFuzzing Automation for Golang +- listed as: "buffer-overwrite" (Pani et al., 2023) - from: [ACM](https://dl.acm.org/doi/fullHtml/10.1145/3578527.3578538) - file: [PDF](SmartFuzzDriverGen_ Smart Contract Fuzzing Automation for Golang.pdf) -## "storage modification" (Krupp and Rossow, 2018) +## teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts -- title: teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts +- listed as: "storage modification" (Krupp and Rossow, 2018) - from: [Usenix](https://www.usenix.org/conference/usenixsecurity18/presentation/krupp) - talk: [Youtube](https://www.youtube.com/watch?v=mW4jQzPVP_A) - file: [PDF](sec18-krupp.pdf) -## "unrestricted write" (Tsankov et al., 2018) +## Securify: Practical Security Analysis of Smart Contracts -- title: Securify: Practical Security Analysis of Smart Contracts +- listed as: "unrestricted write" (Tsankov et al., 2018) - from: [ACM](https://dl.acm.org/doi/10.1145/3243734.3243780) - talk: On ACM page - file: [PDF](Securify Practical Security Analysis of Smart Contracts.pdf)