{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:38:34Z","timestamp":1742985514947,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031781155"},{"type":"electronic","value":"9783031781162"}],"license":[{"start":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T00:00:00Z","timestamp":1732838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T00:00:00Z","timestamp":1732838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-78116-2_12","type":"book-chapter","created":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T07:31:25Z","timestamp":1732779085000},"page":"194-204","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Trusted Deployer: A Tool for\u00a0Safe Creation and\u00a0Upgrade of\u00a0Ethereum Smart Contracts"],"prefix":"10.1007","author":[{"given":"Juliandson","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Antonino","sequence":"additional","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]},{"given":"A. W.","family":"Roscoe","sequence":"additional","affiliation":[]},{"given":"Filipe","family":"Arruda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,29]]},"reference":[{"key":"12_CR1","unstructured":"Ethereum White Paper. https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Antonino, P., Ferreira, J., Sampaio, A., Roscoe, A.W., Arruda, F.: A refinement-based approach to safe smart contract deployment and evolution. In: Software and Systems Modeling, pp. 657\u2013693. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/s10270-023-01143-z","DOI":"10.1007\/s10270-023-01143-z"},{"key":"12_CR3","unstructured":"Arruda, F., Antonino, P., Sampaio, A.,\u00a0Roscoe, A.W.: Solver-aided inference of abstraction invariant for the safe evolution of smart contracts. Technical report (2022)"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (sok). In: POST 2017, pp. 164\u2013186. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-662-54455-6_8","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"12_CR5","unstructured":"Binance. Binance smart chain - a parallel blockchain to binance chain (2020). https:\/\/www.binance.org\/en\/smartChain"},{"key":"12_CR6","unstructured":"Thomas, D., Gazzillo, P., Herlihy, M., Saraph, V., Koskinen, E.: Proof-carrying smart contracts. In: Financial Cryptography Workshops (2018)"},{"key":"12_CR7","unstructured":"Celo Foundation. Celo - a mobile-first blockchain platform for global payments (2020). https:\/\/celo.org\/"},{"key":"12_CR8","unstructured":"Fantom Foundation. Fantom - high-performance, scalable, and secure smart contract platform (2018). https:\/\/fantom.foundation\/"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-030-41600-3_11","volume-title":"Verified Software. Theories, Tools, and Experiments","author":"\u00c1 Hajdu","year":"2020","unstructured":"Hajdu, \u00c1., Jovanovi\u0107, D.: solc-verify: a modular verifier for solidity smart contracts. In: Chakraborty, S., Navas, J.A. (eds.) VSTTE 2019. LNCS, vol. 12031, pp. 161\u2013179. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-41600-3_11"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"12_CR11","unstructured":"Nomic Labs. Hardhat - ethereum development environment for professionals (2020). https:\/\/hardhat.org\/"},{"issue":"10","key":"12_CR12","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u2018design by contract\u2019. Computer 25(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"12_CR13","unstructured":"Misson, H.A.: Applying formal verification techniques to embedded software in UAV design (2019)"},{"key":"12_CR14","unstructured":"Mudge, N.: EIP-2535: Diamonds, Multi-Facet Proxy. https:\/\/eips.ethereum.org\/EIPS\/eip-2535"},{"key":"12_CR15","unstructured":"OpenZeppelin. Proxy Upgrade Pattern (2021). https:\/\/docs.openzeppelin.com\/upgrades-plugins\/1.x\/proxies"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Permenev, A., Dimitrov, D., Tsankov, P., Drachsler-Cohen, D., Vechev, M.: Verx: safety verification of smart contracts. In: 2020 IEEE Symposium on Security and Privacy (SP), pp. 1661\u20131677 (2020)","DOI":"10.1109\/SP40000.2020.00024"},{"key":"12_CR17","unstructured":"Rodler, M., Li, W., Karame, G.O., Davi, L.: EVMPatch: timely and automated patching of ethereum smart contracts. In: 30th USENIX Security Symposium (USENIX Security 21), pp. 1289\u20131306. USENIX Association (2021)"},{"key":"12_CR18","unstructured":"Siegel, D.: Understanding the dao attack. https:\/\/www.coindesk.com\/understanding-dao-hack-journalists. Accessed 25 Sep 2023"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Stephens, J., Ferles, K., Mariano, B., Lahiri, S., Dillig, I.: Smartpulse: automated checking of temporal properties in smart contracts. In: 2021 IEEE Symposium on Security and Privacy (SP), pp. 555\u2013571 (2021)","DOI":"10.1109\/SP40001.2021.00085"},{"key":"12_CR20","unstructured":"Suite, T.: Truffle - a development framework for ethereum (2015). https:\/\/trufflesuite.com\/"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Wang, Y., et al.: Formal verification of workflow policies for smart contracts in azure blockchain. In: VSTTE, pp. 87\u2013106 (2020)","DOI":"10.1007\/978-3-030-41600-3_7"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-78116-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,28]],"date-time":"2024-11-28T09:04:55Z","timestamp":1732784695000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-78116-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,29]]},"ISBN":["9783031781155","9783031781162"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-78116-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,29]]},"assertion":[{"value":"29 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vit\u00f3ria","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}