{"id":"https://openalex.org/W7152673886","doi":"https://doi.org/10.1109/ojcs.2026.3681772","title":"Smart Contract\u2013Enabled P2P Energy Trading: A Formally Verified Game-Theoretic Framework","display_name":"Smart Contract\u2013Enabled P2P Energy Trading: A Formally Verified Game-Theoretic Framework","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7152673886","doi":"https://doi.org/10.1109/ojcs.2026.3681772"},"language":"en","primary_location":{"id":"doi:10.1109/ojcs.2026.3681772","is_oa":true,"landing_page_url":"https://doi.org/10.1109/ojcs.2026.3681772","pdf_url":null,"source":{"id":"https://openalex.org/S4210176459","display_name":"IEEE Open Journal of the Computer Society","issn_l":"2644-1268","issn":["2644-1268"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Open Journal of the Computer Society","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/ojcs.2026.3681772","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Gauhar Ali","orcid":"https://orcid.org/0000-0001-9691-7347"},"institutions":[{"id":"https://openalex.org/I142024983","display_name":"Prince Sultan University","ror":"https://ror.org/053mqrf26","country_code":"SA","type":"education","lineage":["https://openalex.org/I142024983"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Gauhar Ali","raw_affiliation_strings":["EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0001-9691-7347","affiliations":[{"raw_affiliation_string":"EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I142024983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112373564","display_name":"Sajid Hussain Shah","orcid":null},"institutions":[{"id":"https://openalex.org/I142024983","display_name":"Prince Sultan University","ror":"https://ror.org/053mqrf26","country_code":"SA","type":"education","lineage":["https://openalex.org/I142024983"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Sajid Shah","raw_affiliation_strings":["EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0001-6334-4773","affiliations":[{"raw_affiliation_string":"EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I142024983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133250336","display_name":"Muhammad Asim","orcid":null},"institutions":[{"id":"https://openalex.org/I142024983","display_name":"Prince Sultan University","ror":"https://ror.org/053mqrf26","country_code":"SA","type":"education","lineage":["https://openalex.org/I142024983"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Muhammad Asim","raw_affiliation_strings":["EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0002-6423-9809","affiliations":[{"raw_affiliation_string":"EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I142024983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047571247","display_name":"Abdelhamied A. Ateya","orcid":"https://orcid.org/0000-0002-1610-9612"},"institutions":[{"id":"https://openalex.org/I142024983","display_name":"Prince Sultan University","ror":"https://ror.org/053mqrf26","country_code":"SA","type":"education","lineage":["https://openalex.org/I142024983"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Abdelhamied A. Ateya","raw_affiliation_strings":["EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I142024983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038150152","display_name":"Mohammed ElAffendi","orcid":"https://orcid.org/0000-0001-9349-1985"},"institutions":[{"id":"https://openalex.org/I142024983","display_name":"Prince Sultan University","ror":"https://ror.org/053mqrf26","country_code":"SA","type":"education","lineage":["https://openalex.org/I142024983"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Mohammed ElAffendi","raw_affiliation_strings":["EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0001-9349-1985","affiliations":[{"raw_affiliation_string":"EIAS Data Science and Blockchain Lab, College of Computer and Information Sciences, Prince Sultan University, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I142024983"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1750,"currency":"USD","value_usd":1750},"apc_paid":{"value":1750,"currency":"USD","value_usd":1750},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.5761203,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":null,"first_page":"670","last_page":"681"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.4004000127315521,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.4004000127315521,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12392","display_name":"Sharing Economy and Platforms","score":0.03440000116825104,"subfield":{"id":"https://openalex.org/subfields/1406","display_name":"Marketing"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.032499998807907104,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.43970000743865967},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.30790001153945923},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.2985999882221222},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.296999990940094},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.29260000586509705}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5640000104904175},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.43970000743865967},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.30790001153945923},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.296999990940094},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.29260000586509705},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26669999957084656},{"id":"https://openalex.org/C2742236","wikidata":"https://www.wikidata.org/wiki/Q924713","display_name":"Efficient energy use","level":2,"score":0.262800008058548},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.24279999732971191}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ojcs.2026.3681772","is_oa":true,"landing_page_url":"https://doi.org/10.1109/ojcs.2026.3681772","pdf_url":null,"source":{"id":"https://openalex.org/S4210176459","display_name":"IEEE Open Journal of the Computer Society","issn_l":"2644-1268","issn":["2644-1268"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Open Journal of the Computer Society","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:588032e37c5b483d89ba661e359047da","is_oa":true,"landing_page_url":"https://doaj.org/article/588032e37c5b483d89ba661e359047da","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Open Journal of the Computer Society, Vol 7, Pp 670-681 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/ojcs.2026.3681772","is_oa":true,"landing_page_url":"https://doi.org/10.1109/ojcs.2026.3681772","pdf_url":null,"source":{"id":"https://openalex.org/S4210176459","display_name":"IEEE Open Journal of the Computer Society","issn_l":"2644-1268","issn":["2644-1268"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Open Journal of the Computer Society","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.484185129404068,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,117],"global":[1],"energy":[2,21,41,47,78,110,170,201],"sector":[3],"is":[4,32,150,204],"experiencing":[5],"a":[6,57,65,138,158,212],"significant":[7],"revolution,":[8],"propelled":[9],"by":[10,145,210],"the":[11,24,44,52,169,173,199,216],"necessity":[12],"to":[13,88,132,153,157],"address":[14],"climate":[15],"change":[16],"and":[17,54,70,91,123,166,180,195,207],"shift":[18],"towards":[19],"sustainable":[20],"sources.":[22],"Particularly,":[23],"extensive":[25],"implementation":[26],"of":[27,56,68,183],"distributed":[28,58],"solar":[29],"photovoltaic":[30],"generation":[31],"converting":[33],"traditional":[34,45],"power":[35],"grid":[36,134],"systems":[37],"into":[38],"decentralized,":[39],"prosumer-oriented":[40],"grids.":[42,116],"However,":[43],"centralized":[46],"trading":[48,79,111,128,202],"frameworks":[49],"cannot":[50],"handle":[51],"complexity":[53],"volatility":[55],"grid,":[59],"resulting":[60],"in":[61,168],"delay,":[62],"costly":[63],"transactions,":[64],"single":[66],"point":[67],"failure,":[69],"insufficient":[71],"transparency.":[72],"Although":[73],"blockchain":[74],"(BC)-based":[75],"peer-to-peer":[76],"(P2P)":[77],"presents":[80],"an":[81,104],"attractive":[82],"solution,":[83],"current":[84],"models":[85],"frequently":[86],"neglect":[87],"ensure":[89],"dependable":[90],"steady":[92],"market":[93,155,178,203],"convergence,":[94],"instead":[95],"concentrating":[96],"mainly":[97],"on":[98],"transactional":[99],"elements.":[100],"This":[101,148],"study":[102],"proposed":[103,118,200],"innovative":[105],"smart":[106,146,176],"contract-based":[107,177],"P2P":[108,127],"renewable":[109],"framework":[112],"intended":[113],"for":[114,164],"decentralized":[115,174],"two-tiered":[119],"framework,":[120],"i.e.,":[121],"intra-microgrid":[122],"inter-microgrid":[124],"layers,":[125],"expands":[126],"from":[129],"regional":[130],"equilibrium":[131],"full":[133],"connectivity.":[135],"It":[136],"utilizes":[137],"game-theoretic,":[139],"iterative":[140],"bidding":[141],"approach,":[142],"entirely":[143],"automated":[144],"contracts.":[147],"method":[149],"formally":[151,209],"proven":[152],"attain":[154],"convergence":[156],"singular":[159],"Nash":[160],"equilibrium,":[161],"optimizing":[162],"utility":[163],"prosumers":[165],"consumers":[167],"trading.":[171],"Moreover,":[172],"ledger,":[175],"clearance,":[179],"limited":[181],"disclosure":[182],"consumer/prosumer’s":[184],"private":[185],"data":[186,193],"enhanced":[187],"its":[188],"resilience":[189],"against":[190],"replay,":[191],"false":[192],"injection,":[194],"DoS/DDoS":[196],"attacks.":[197],"Additionally,":[198],"proved":[205],"monotonic":[206],"convergent":[208],"implementing":[211],"Promela":[213],"model":[214,218],"using":[215],"SPIN":[217],"checker.":[219]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-10T00:00:00"}