{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T02:01:07Z","timestamp":1778032867272,"version":"3.51.4"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T00:00:00Z","timestamp":1729555200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T00:00:00Z","timestamp":1729555200000},"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":[[2024,10,22]]},"DOI":"10.1109\/aiccsa63423.2024.10912547","type":"proceedings-article","created":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T17:30:46Z","timestamp":1741714246000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Enhancing DApp Supply Chain with Verified Smart Contracts: A Case Study on the Olive-Oil Industry"],"prefix":"10.1109","author":[{"given":"Imed E.","family":"Bennour","sequence":"first","affiliation":[{"name":"National Engineering School, University of Sousse,NOCCS lab,Sousse,Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariem Hadj","family":"Wannes","sequence":"additional","affiliation":[{"name":"National Engineering School University of Sousse,Sousse,Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moncef","family":"Ghiss","sequence":"additional","affiliation":[{"name":"National Engineering School University of Sousse,Sousse,Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Braham","sequence":"additional","affiliation":[{"name":"University of Sousse,Research Center on Horticulture and Organic Agriculture,Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Asma","family":"Lahbib","sequence":"additional","affiliation":[{"name":"Institut Polytech de Paris,Telecom-sudParis,Île-de-France,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nasser","family":"Habib","sequence":"additional","affiliation":[{"name":"RDIUP Company,Paris,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrique","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Instituto Superior de Agronomia, University of Lisbona,Lisbona,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/BigDataCongress.2017.85"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2751"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tifs.2019.07.034"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tre.2020.102067"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3361310"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.20460\/jgsm.2023.314"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3390\/electronics12061340"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCNT.2018.8494045"},{"key":"ref9","article-title":"An investigation into smart contract deployment on Ethereum platform using Web3. js and solidity using blockchain","volume-title":"Data Engineering and Intelligent Computing: Proceedings of ICICC 2020","author":"Sandeep Kumar"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3464421"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SIN56466.2022.9970534"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2720760"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.24251\/hicss.2020.650"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3390\/systems10010019"},{"key":"ref16","volume-title":"SMTChecker and Formal Verification","year":"2024"},{"key":"ref17","volume-title":"Certora documentation \u201cThe Certora Prover","year":"2024"}],"event":{"name":"2024 IEEE\/ACS 21st International Conference on Computer Systems and Applications (AICCSA)","location":"Sousse, Tunisia","start":{"date-parts":[[2024,10,22]]},"end":{"date-parts":[[2024,10,26]]}},"container-title":["2024 IEEE\/ACS 21st International Conference on Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10912072\/10912519\/10912547.pdf?arnumber=10912547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T17:38:41Z","timestamp":1741801121000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10912547\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,22]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/aiccsa63423.2024.10912547","relation":{},"subject":[],"published":{"date-parts":[[2024,10,22]]}}}