{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:10:12Z","timestamp":1777889412332,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T00:00:00Z","timestamp":1554681600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["S11407-N23"],"award-info":[{"award-number":["S11407-N23"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"publisher","award":["ICT15-003"],"award-info":[{"award-number":["ICT15-003"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010663","name":"European Research Council","doi-asserted-by":"publisher","award":["Starting Grant 279307: Graph Games"],"award-info":[{"award-number":["Starting Grant 279307: Graph Games"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100004316","name":"International Business Machines Corporation","doi-asserted-by":"publisher","award":["IBM PhD Fellowship"],"award-info":[{"award-number":["IBM PhD Fellowship"]}],"id":[{"id":"10.13039\/100004316","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,8]]},"DOI":"10.1145\/3297280.3297322","type":"proceedings-article","created":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:18:47Z","timestamp":1556713127000},"page":"400-408","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["The treewidth of smart contracts"],"prefix":"10.1145","author":[{"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir Kafshdar","family":"Goharshady","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehsan Kafshdar","family":"Goharshady","sequence":"additional","affiliation":[{"name":"Ferdowsi University of Mashhad, Mashhad, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/800028.808479"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_3_2_1_5_1","unstructured":"Bitcoin Wiki. 2018. Script. https:\/\/en.bitcoin.it\/wiki\/Script."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646242.681417"},{"key":"e_1_3_2_1_7_1","volume-title":"A tourist guide through treewidth. Acta cybernetica 11, 1--2","author":"Bodlaender Hans L","year":"1994","unstructured":"Hans L Bodlaender. 1994. A tourist guide through treewidth. Acta cybernetica 11, 1--2 (1994), 1."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24841-5_6"},{"key":"e_1_3_2_1_9_1","volume-title":"A Next Generation Smart Contract and Decentralized Application Platform. Ethereum White Paper","author":"Buterin Vitalik","year":"2018","unstructured":"Vitalik Buterin. 2018. A Next Generation Smart Contract and Decentralized Application Platform. Ethereum White Paper (2018)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177973"},{"key":"e_1_3_2_1_11_1","volume-title":"Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady","author":"Chatterjee Krishnendu","year":"2019","unstructured":"Krishnendu Chatterjee, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. 2019. The Treewidth of Smart Contracts. IST Publication Repository (2019). https:\/\/repository.ist.ac.at\/1070\/"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837624"},{"key":"e_1_3_2_1_13_1","volume-title":"Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. In CONCUR","author":"Chatterjee Krishnendu","year":"2018","unstructured":"Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. 2018. Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. In CONCUR 2018. 11:1--11:17."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290366"},{"key":"e_1_3_2_1_15_1","first-page":"59","article-title":"JTDec","volume":"2017","author":"Chatterjee Krishnendu","year":"2017","unstructured":"Krishnendu Chatterjee, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. 2017. JTDec: A Tool for Tree Decompositions in Soot. In ATVA 2017. 59--66.","journal-title":"A Tool for Tree Decompositions in Soot. In ATVA"},{"key":"e_1_3_2_1_16_1","volume-title":"Quantitative Analysis of Smart Contracts. In ESOP","author":"Chatterjee Krishnendu","year":"2018","unstructured":"Krishnendu Chatterjee, Amir Kafshdar Goharshady, and Yaron Velner. 2018. Quantitative Analysis of Smart Contracts. In ESOP 2018. 739--767."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3210257"},{"key":"e_1_3_2_1_18_1","volume-title":"CAV","author":"Chatterjee Krishnendu","year":"2015","unstructured":"Krishnendu Chatterjee, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. 2015. Faster algorithms for quantitative verification in constant treewidth graphs. In CAV 2015. 140--157."},{"key":"e_1_3_2_1_19_1","unstructured":"ConsenSys. 2018. Ethereum Smart Contract Best Practices. https:\/\/consensys.github.io\/smart-contract-best-practices\/software_engineering\/"},{"key":"e_1_3_2_1_20_1","unstructured":"ConsenSys Diligence. 2018. Ethereum Smart Contract Best Practices - Known Attacks. https:\/\/consensys.github.io\/smart-contract-best-practices\/known_attacks\/."},{"key":"e_1_3_2_1_21_1","unstructured":"ConsenSys Team. 2018. Solidity Parser. https:\/\/github.com\/ConsenSys\/solidity-parser."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2815661"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2011.23"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00177-6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386232"},{"key":"e_1_3_2_1_26_1","unstructured":"Ethereum Foundation Vitalik Buterin et al. 2018. Vyper Language Documentation. https:\/\/vyper.readthedocs.io."},{"key":"e_1_3_2_1_27_1","unstructured":"Ethernodes. 2018. The Ethereum Node Explorer. https:\/\/www.ethernodes.org."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_34"},{"key":"e_1_3_2_1_29_1","volume-title":"Secure Credit Reporting on the Blockchain. In IEEE International Conference on Blockchain.","author":"Goharshady Amir Kafshdar","year":"2018","unstructured":"Amir Kafshdar Goharshady, Ali Behrouz, and Krishnendu Chatterjee. 2018. Secure Credit Reporting on the Blockchain. In IEEE International Conference on Blockchain."},{"key":"e_1_3_2_1_30_1","volume-title":"A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth. CoRR abs\/1712.09692","author":"Goharshady Amir Kafshdar","year":"2017","unstructured":"Amir Kafshdar Goharshady and Fatemeh Mohammadi. 2017. A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth. CoRR abs\/1712.09692 (2017). http:\/\/arxiv.org\/abs\/1712.09692"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/646680.702325"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2013.03.015"},{"key":"e_1_3_2_1_34_1","volume-title":"Graph-theoretic Properties of Control Flow Graphs and Applications. Master's thesis","author":"Kumar Neeraj","unstructured":"Neeraj Kumar. 2015. Graph-theoretic Properties of Control Flow Graphs and Applications. Master's thesis. University of Waterloo."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2014.08.001"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1530870"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_38_1","volume-title":"Model-Checking of Smart Contracts. In IEEE International Conference on Blockchain. IEEE, 980--987","author":"Nehai Zeinab","year":"2018","unstructured":"Zeinab Nehai, Pierre-Yves Piriou, and Frederic Daumas. 2018. Model-Checking of Smart Contracts. In IEEE International Conference on Blockchain. IEEE, 980--987."},{"key":"e_1_3_2_1_39_1","volume-title":"CAV","author":"Obdr\u017e\u00e1lek Jan","year":"2003","unstructured":"Jan Obdr\u017e\u00e1lek. 2003. Fast mu-calculus model checking when tree-width is bounded. In CAV 2003. Springer, 80--92."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0095-8956(84)90013-3"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234183"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1592955"},{"key":"e_1_3_2_1_43_1","unstructured":"David Siegel. 2016. Understanding The DAO Attack. https:\/\/www.coindesk.com\/understanding-dao-hack-journalists\/."},{"key":"e_1_3_2_1_44_1","volume-title":"Etherscan: The Ethereum Block Explorer. https:\/\/etherscan.io\/.","author":"Tan Matthew","year":"2018","unstructured":"Matthew Tan, Wee Chuan, Jann Yik, et al. 2018. Etherscan: The Ethereum Block Explorer. https:\/\/etherscan.io\/."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2697"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_47_1","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger. Ethereum Yellow Paper","author":"Wood Gavin","year":"2018","unstructured":"Gavin Wood. 2018. Ethereum: A Secure Decentralised Generalised Transaction Ledger. Ethereum Yellow Paper (2018)."},{"key":"e_1_3_2_1_48_1","unstructured":"Gavin Wood et al. 2018. Solidity Language Documentation. https:\/\/solidity.readthedocs.io\/en\/v0.4.24\/."},{"key":"e_1_3_2_1_49_1","unstructured":"David Zimbeck Sean Donato et al. 2018. Bithalo Mother of Smart Contracts and a Decentralized Market for Everything. http:\/\/bithalo.org."}],"event":{"name":"SAC '19: The 34th ACM\/SIGAPP Symposium on Applied Computing","location":"Limassol Cyprus","acronym":"SAC '19","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297322","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3297280.3297322","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:14Z","timestamp":1750208534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3297280.3297322"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,8]]},"references-count":48,"alternative-id":["10.1145\/3297280.3297322","10.1145\/3297280"],"URL":"https:\/\/doi.org\/10.1145\/3297280.3297322","relation":{},"subject":[],"published":{"date-parts":[[2019,4,8]]},"assertion":[{"value":"2019-04-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}