https://link.springer.com/chapter/10.1007/978-3-031-97623-0_17?error=cookies_not_supported&code=bdb2a0ac-e492-415d-9c21-cf96b99da6ed
A History of Greed: Practical Symbolic Execution for Ethereum Smart Contracts | Springer Nature Link
Smart contracts have transformed blockchain applications, enabling decentralized computation and automated asset management without intermediaries. However,...
springer nature linkhistory ofsymbolic executionsmart contracts
https://repositum.tuwien.at/handle/20.500.12708/79934
reposiTUm: Opcode coverage-guided virtualization deobfuscation based on symbolic execution
based onsymbolic executionopcodecoverageguided
https://www.sec-wiki.com/topic/57
Symbolic Execution Source Tools--SecWiki 专题
symbolic executionsourcetoolssecwiki
https://blog.deobfuscate.io/using-symbolic-execution-for-devirtualisation
Using Symbolic Execution to Devirtualise a Virtualised Binary
Jul 22, 2024 - Using symbolic execution to reverse engineer and devirtualise a binary using virtual machine obfuscation.
symbolic executionusingbinary
https://onehack.st/t/maat-open-source-symbolic-execution-framework/218970
Maat | Open-source Symbolic Execution Framework - Tools & Scripts - OneHack a.k.a 1Hack
Jun 10, 2022 - Maat is an open-source Dynamic Symbolic Execution and Binary Analysis framework. It provides various functionalities such as symbolic execution, taint...
open sourcesymbolic executiona kmaat
https://www.cs.umb.edu/~stchang/popl2018/index.html
Symbolic Types for Lenient Symbolic Execution
symbolictypeslenientexecution