{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:46Z","timestamp":1725670186999},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,2]],"date-time":"2022-05-02T00:00:00Z","timestamp":1651449600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,2]],"date-time":"2022-05-02T00:00:00Z","timestamp":1651449600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,2]]},"DOI":"10.1109\/icbc54727.2022.9805509","type":"proceedings-article","created":{"date-parts":[[2022,6,29]],"date-time":"2022-06-29T15:46:19Z","timestamp":1656517579000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts"],"prefix":"10.1109","author":[{"given":"Sidi Mohamed","family":"Beillahi","sequence":"first","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Keilty","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keerthi","family":"Nelaturu","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fan","family":"Long","sequence":"additional","affiliation":[{"name":"University of Toronto"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41600-3_7"},{"journal-title":"Etherscan","year":"2021","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416626"},{"journal-title":"Smart contract sanctuary","year":"0","author":"ortner","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref14","first-page":"1317","article-title":"teether: Gnawing at ethereum to automatically exploit smart contracts","author":"krupp","year":"0"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_25"},{"year":"2021","key":"ref4","article-title":"Swc-114: Transaction order dependence"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"journal-title":"Decentralized finance (defi)","year":"2021","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41600-3_11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3428258"},{"year":"2021","key":"ref7"},{"journal-title":"Ethereum A next-generation smart contract and decentralized application platform","year":"2013","author":"buterin","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3397385"},{"journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System","year":"2008","author":"nakamoto","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref24","first-page":"66","article-title":"Towards verifying ethereum smart contract bytecode in isabelle\/hol","author":"amani","year":"0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00057"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"}],"event":{"name":"2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","start":{"date-parts":[[2022,5,2]]},"location":"Shanghai, China","end":{"date-parts":[[2022,5,5]]}},"container-title":["2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9805458\/9805482\/09805509.pdf?arnumber=9805509","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T16:14:18Z","timestamp":1658765658000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9805509\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,2]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icbc54727.2022.9805509","relation":{},"subject":[],"published":{"date-parts":[[2022,5,2]]}}}