A History of Greed: Practical Symbolic Execution for Ethereum Smart Contracts

@inproceedings{ruaro25greed,
  title        = {{A History of Greed: Practical Symbolic Execution for Ethereum Smart Contracts}},
  author       = {Ruaro, Nicola and Gritti, Fabio and McLaughlin, Robert and Meng, Dongyu and Grishchenko, Ilya and Kruegel, Christopher and Vigna, Giovanni},
  booktitle    = {International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment},
  month        = {July},
  year         = {2025},
  organization = {Springer},
  pages        = {275--296}
}