Seminar-Security-Blockchain/papers

Papers

SMARTIAN: Enhancing Smart Contract Fuzzingwith Static and Dynamic Data-Flow Analyses

• listed as: "arbitrary write" (Choi et al., 2021)
• from: IEEE
• file: PDF

SmartFuzzDriverGen: Smart ContractFuzzing Automation for Golang

• listed as: "buffer-overwrite" (Pani et al., 2023)
• from: ACM
• file: [PDF](SmartFuzzDriverGen_ Smart Contract Fuzzing Automation for Golang.pdf)

teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts

• listed as: "storage modification" (Krupp and Rossow, 2018)
• from: Usenix
• talk: Youtube
• file: PDF

Securify: Practical Security Analysis of Smart Contracts

• listed as: "unrestricted write" (Tsankov et al., 2018)
• from: ACM
• talk: On ACM page
• file: [PDF](Securify Practical Security Analysis of Smart Contracts.pdf)

"SWC-124: Write to Arbitrary Storage Location" (SmartContractSecurity, 2020)

• from: SWCregistry