You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
nitowa d322ce79b0 add paper template 11 maanden geleden
..
README.md add paper template 11 maanden geleden
Securify Practical Security Analysis of Smart Contracts.pdf add papers 11 maanden geleden
SmartFuzzDriverGen_ Smart Contract Fuzzing Automation for Golang.pdf add papers 11 maanden geleden
choi-ase2021.pdf add papers 11 maanden geleden
sec18-krupp.pdf add papers 11 maanden geleden

README.md

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

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

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