{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T21:22:01Z","timestamp":1792790521726,"version":"4.5.0"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"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":[[2023,7,9]]},"DOI":"10.1109\/iscc58397.2023.10218105","type":"proceedings-article","created":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T17:46:48Z","timestamp":1693244808000},"page":"556-561","source":"Crossref","is-referenced-by-count":11,"title":["Formal Modeling and Verification of ERC Smart Contracts: Application to NFT"],"prefix":"10.1109","author":[{"given":"Rim","family":"Ben Fekih","sequence":"first","affiliation":[{"name":"University of Sousse,ISITCom, ReDCAD Lab,Hammam Sousse,Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mariem","family":"Lahami","sequence":"additional","affiliation":[{"name":"University of Sfax,ENIS, ReDCAD Lab,Sfax,Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[{"name":"University of Sfax,ENIS, ReDCAD Lab,Sfax,Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Salma","family":"Bradai","sequence":"additional","affiliation":[{"name":"Orange Innovation Tunisia, Sofrecom,Tunis,Tunisia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","year":"0","journal-title":"Erc1155"},{"key":"ref35","first-page":"334","article-title":"The nuxmv symbolic model checker","author":"cavada","year":"0","journal-title":"CAV"},{"key":"ref12","author":"entriken","year":"0","journal-title":"EIP-721 Non-Fungible Token Standard"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC54236.2022.00020"},{"key":"ref15","year":"0","journal-title":"Etherscan - adidasoriginals"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345664"},{"key":"ref14","year":"0","journal-title":"Someone sidestepped adidas' nft minting terms to score 330 nfts"},{"key":"ref36","article-title":"Correct-by-design interacting smart contracts and a systematic approach for verifying erc20 and erc721 contracts with verisolid","author":"nelaturu","year":"2022","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2020.101129"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2019.07.002"},{"key":"ref11","author":"alshorman","year":"0","journal-title":"Formalizing and verifying the behaviors of interacting smart contracts using model checking"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-10363-6_7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328737"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3143145"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/s22145274"},{"key":"ref1","first-page":"21260","article-title":"Bitcoin: A peer-to-peer electronic cash system","author":"nakamoto","year":"2008","journal-title":"Decentralized Bus Rev"},{"key":"ref17","year":"0","journal-title":"Erc2981"},{"key":"ref16","author":"vogelsteller","year":"0","journal-title":"EIP-20 Token Standard"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-277-3_7"},{"key":"ref19","article-title":"Security analysis methods on ethereum smart contract vulnerabilities: A survey","volume":"abs 1908 8605","author":"praitheeshan","year":"2019","journal-title":"CoRR"},{"key":"ref18","author":"burks","year":"0","journal-title":"EIP-2981 NFT Royalty Standard"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3185089.3185138"},{"key":"ref23","first-page":"35","article-title":"Experiences threat modeling at microsoft","volume":"2008","author":"shostack","year":"2008","journal-title":"MODSEC MoDELS"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00185"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SC2.2018.00018"},{"key":"ref20","article-title":"Bug searching in smart contract","volume":"abs 1905 799","author":"feng","year":"2019","journal-title":"CoRR"},{"key":"ref22","article-title":"Non-fungible token (NFT): overview, evaluation, opportunities and challenges","volume":"abs 2105 7447","author":"wang","year":"2021","journal-title":"CoRR"},{"key":"ref21","author":"das","year":"2021","journal-title":"Understanding Security Issues in the NFT Ecosystem"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain.2019.00081"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW.2019.00032"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2019.10265"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SIN56466.2022.9970534"},{"key":"ref7","year":"2022","journal-title":"Nfts and financial crime"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC48266.2020.9169428"},{"key":"ref4","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"wood","year":"2014","journal-title":"Ethereum Project Yellow Paper"},{"key":"ref3","first-page":"268","article-title":"Application of blockchain technology in healthcare: A comprehensive study","author":"fekih","year":"0","journal-title":"The Impact of Digital Technologies on Public Health in Developed and Developing Countries — 18th International Conference"},{"key":"ref6","article-title":"Security news this week: $280 m worth of ethereum is trapped thanks to a dumb bug","author":"newman","year":"2017","journal-title":"Wired"},{"key":"ref5","article-title":"A $50 million hack just showed that the dao was all too human","author":"finley","year":"2016","journal-title":"Wired"}],"event":{"name":"2023 IEEE Symposium on Computers and Communications (ISCC)","location":"Gammarth, Tunisia","start":{"date-parts":[[2023,7,9]]},"end":{"date-parts":[[2023,7,12]]}},"container-title":["2023 IEEE Symposium on Computers and Communications (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10217219\/10217829\/10218105.pdf?arnumber=10218105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T17:39:20Z","timestamp":1695058760000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10218105\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,9]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/iscc58397.2023.10218105","relation":{},"subject":[],"published":{"date-parts":[[2023,7,9]]}}}