{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:25:13Z","timestamp":1775838313211,"version":"3.50.1"},"reference-count":31,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:00:00Z","timestamp":1693526400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T00:00:00Z","timestamp":1693526400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2023,6,27]],"date-time":"2023-06-27T00:00:00Z","timestamp":1687824000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2023,9]]},"DOI":"10.1016\/j.bcra.2023.100148","type":"journal-article","created":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T02:21:12Z","timestamp":1689128472000},"page":"100148","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"title":["ADEFGuard: Anomaly detection framework based on Ethereum smart contracts behaviours"],"prefix":"10.1016","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8722-0297","authenticated-orcid":false,"given":"Malaw","family":"Ndiaye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierno Ahmadou","family":"Diallo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Konate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.bcra.2023.100148_bib2","series-title":"Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: a Survey","author":"Praitheeshan","year":"2019"},{"key":"10.1016\/j.bcra.2023.100148_bib3","series-title":"2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE)","first-page":"2","article-title":"Smart contracts: security patterns in the ethereum ecosystem and solidity","author":"Wohrer","year":"2018"},{"key":"10.1016\/j.bcra.2023.100148_bib4","volume":"vol. 318","author":"Dannen","year":"2017"},{"issue":"3","key":"10.1016\/j.bcra.2023.100148_bib5","first-page":"177","article-title":"Design of the blockchain smart contract: a use case for real estate","volume":"9","author":"Karamitsos","year":"2018","journal-title":"J.\u00a0Inf. Secur."},{"key":"10.1016\/j.bcra.2023.100148_bib6","series-title":"J. Prieto, A. Partida, P. Leit\u00e3o, et al. (Eds.). Blockchain and Applications. BLOCKCHAIN 2021","first-page":"3","article-title":"Formal analysis of smart contracts: model impact factor on criminality","author":"Ndiaye","year":"2021"},{"key":"10.1016\/j.bcra.2023.100148_bib7","series-title":"2021 International Symposium on Networks, Computers and Communications (ISNCC)","first-page":"1","article-title":"Cryptocurrency crime: behaviours of malicious smart contracts in blockchain","author":"Ndiaye","year":"2021"},{"key":"10.1016\/j.bcra.2023.100148_bib8","article-title":"Correctness of smart contracts for consistency enforcement","author":"Osterland","year":"2017","journal-title":"ERCIM NEWS"},{"key":"10.1016\/j.bcra.2023.100148_bib9","series-title":"Proceedings of the 9th ACM Conference on Computer and Communications Security, ACM","first-page":"265","article-title":"Specification-based anomaly detection: a new approach for detecting network intrusions","author":"Sekar","year":"2002"},{"key":"10.1016\/j.bcra.2023.100148_bib10","doi-asserted-by":"crossref","DOI":"10.1007\/s11042-017-4396-4","article-title":"Behaviour pattern clustering in blockchain networks","volume":"76","author":"Huang","year":"2017","journal-title":"Multimed. Tool. Appl."},{"key":"10.1016\/j.bcra.2023.100148_bib11","series-title":"Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, ACM","first-page":"67","article-title":"Securify: practical security analysis of smart contracts","author":"Tsankov","year":"2018"},{"key":"10.1016\/j.bcra.2023.100148_bib12","series-title":"Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection","author":"Liu","year":"2021"},{"key":"10.1016\/j.bcra.2023.100148_bib13","series-title":"2019 IEEE European Symposium on Security and Privacy (EuroS&P)","first-page":"340","article-title":"Discovering correlations: a formal definition of causal dependency among heterogeneous events","author":"Xosanavongsa","year":"2019"},{"issue":"5","key":"10.1016\/j.bcra.2023.100148_bib14","first-page":"134","article-title":"Security strengths and weaknesses of blockchain smart contract system: a survey","volume":"16","author":"Ndiaye","year":"2022","journal-title":"Int. J. Inf. Commun. Eng."},{"key":"10.1016\/j.bcra.2023.100148_bib15","series-title":"Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM","first-page":"174","article-title":"\u201csometime\u201d is sometimes \u201cnot never\u201d on the temporal logic of programs","author":"Lamport","year":"1980"},{"key":"10.1016\/j.bcra.2023.100148_bib16","series-title":"Proceedings of the 2018 7th International Conference on Software and Computer Applications, ACM","first-page":"322","article-title":"Formal modeling and verification of smart contracts","author":"Bai","year":"2018"},{"key":"10.1016\/j.bcra.2023.100148_bib17","series-title":"S. Meiklejohn, K. Sako (Eds.). Financial Cryptography and Data Security","first-page":"523","article-title":"Designing secure ethereum smart contracts: a finite state machine based approach","author":"Mavridou","year":"2018"},{"key":"10.1016\/j.bcra.2023.100148_bib18","series-title":"8th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2020)","first-page":"1","article-title":"Smart contract modeling and verification techniques: a survey","author":"Imeri","year":"2020"},{"key":"10.1016\/j.bcra.2023.100148_bib19","series-title":"Proceedings of the 27th European symposium on programming","first-page":"739","article-title":"Quantitative analysis of smart contracts","author":"Chatterjee","year":"2018"},{"issue":"8","key":"10.1016\/j.bcra.2023.100148_bib21","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1109\/32.707701","article-title":"Efficient distributed detection of conjunctions of local predicates","volume":"24","author":"Hurfin","year":"1998","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/j.bcra.2023.100148_bib22","article-title":"Smart contract-based secure model for miner registration and block validation","volume":"7","author":"Zhang","year":"2019","journal-title":"IEEE Access"},{"key":"10.1016\/j.bcra.2023.100148_bib23","series-title":"The Economics of Smart Contracts","author":"Baird","year":"2019"},{"issue":"1","key":"10.1016\/j.bcra.2023.100148_bib24","doi-asserted-by":"crossref","first-page":"e5811","DOI":"10.1002\/cpe.5811","article-title":"Implementation and evaluation of smart contracts using a hybrid on-and off-blockchain architecture","volume":"33","author":"Solaiman","year":"2021","journal-title":"Concurrency Comput. Pract. Ex."},{"key":"10.1016\/j.bcra.2023.100148_bib25","series-title":"D\u00e9tection de vuln\u00e9rabilit\u00e9s appliqu\u00e9e \u00e0 la v\u00e9rification de code interm\u00e9diaire de java card","author":"Savary","year":"2016"},{"key":"10.1016\/j.bcra.2023.100148_bib26","series-title":"Concurrency: the Works of Leslie Lamport, ACM, New York, NY","first-page":"179","article-title":"Time, clocks, and the ordering of events in a distributed system","author":"Lamport","year":"2019"},{"key":"10.1016\/j.bcra.2023.100148_bib27","series-title":"D. Gollmann (Eds.). Computer Security \u2014 ESORICS 94","first-page":"247","article-title":"Implementing secure dependencies over a network by designing a distributed security subsystem","author":"D\u2019ausbourg","year":"1994"},{"key":"10.1016\/j.bcra.2023.100148_bib28","series-title":"Le temps des algorithmes","author":"Abiteboul","year":"2017"},{"key":"10.1016\/j.bcra.2023.100148_bib29","doi-asserted-by":"crossref","first-page":"28","DOI":"10.3389\/fbloc.2020.00028","article-title":"Blocksim: an extensible simulation tool for blockchain systems","volume":"3","author":"Alharby","year":"2020","journal-title":"Frontiers in Blockchain"},{"issue":"2","key":"10.1016\/j.bcra.2023.100148_bib30","doi-asserted-by":"crossref","first-page":"418","DOI":"10.3390\/math11020418","article-title":"Deep learning-based malicious smart contract and intrusion detection system for iot environment","volume":"11","author":"Shah","year":"2023","journal-title":"Mathematics"},{"key":"10.1016\/j.bcra.2023.100148_bib31","author":"Emilion"},{"key":"10.1016\/j.bcra.2023.100148_bib32","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.ins.2018.10.057","article-title":"Randomness invalidates criminal smart contracts","volume":"477","author":"Wang","year":"2019","journal-title":"Inf. Sci."},{"key":"10.1016\/j.bcra.2023.100148_bib33","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/j.ins.2019.05.061","article-title":"A\u00a0game-theoretic method based on q-learning to invalidate criminal smart contracts","volume":"498","author":"Zhang","year":"2019","journal-title":"Inf. Sci."}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720923000234?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720923000234?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:16:44Z","timestamp":1761869804000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720923000234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":31,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["S2096720923000234"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2023.100148","relation":{},"ISSN":["2096-7209"],"issn-type":[{"value":"2096-7209","type":"print"}],"subject":[],"published":{"date-parts":[[2023,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"ADEFGuard: Anomaly detection framework based on Ethereum smart contracts behaviours","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2023.100148","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 The Authors. Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100148"}}