{"id":"https://openalex.org/W4384026534","doi":"https://doi.org/10.1109/icbc56567.2023.10174879","title":"An Automated Policy Verification and Enforcement Framework for Ethereum Applications","display_name":"An Automated Policy Verification and Enforcement Framework for Ethereum Applications","publication_year":2023,"publication_date":"2023-05-01","ids":{"openalex":"https://openalex.org/W4384026534","doi":"https://doi.org/10.1109/icbc56567.2023.10174879"},"language":"en","primary_location":{"id":"doi:10.1109/icbc56567.2023.10174879","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icbc56567.2023.10174879","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027967739","display_name":"Swagatika Sahoo","orcid":"https://orcid.org/0000-0002-8572-9348"},"institutions":[{"id":"https://openalex.org/I132153292","display_name":"Indian Institute of Technology Patna","ror":"https://ror.org/01ft5vz71","country_code":"IN","type":"education","lineage":["https://openalex.org/I132153292"]},{"id":"https://openalex.org/I67357951","display_name":"KIIT University","ror":"https://ror.org/00k8zt527","country_code":"IN","type":"education","lineage":["https://openalex.org/I67357951"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Swagatika Sahoo","raw_affiliation_strings":["IIT Patna,Department of Computer Science & Engineering","School of Computer Engineering, KIIT University"],"affiliations":[{"raw_affiliation_string":"IIT Patna,Department of Computer Science & Engineering","institution_ids":["https://openalex.org/I132153292"]},{"raw_affiliation_string":"School of Computer Engineering, KIIT University","institution_ids":["https://openalex.org/I67357951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032316006","display_name":"Raju Halder","orcid":"https://orcid.org/0000-0002-8873-8258"},"institutions":[{"id":"https://openalex.org/I132153292","display_name":"Indian Institute of Technology Patna","ror":"https://ror.org/01ft5vz71","country_code":"IN","type":"education","lineage":["https://openalex.org/I132153292"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Raju Halder","raw_affiliation_strings":["IIT Patna,Department of Computer Science & Engineering"],"affiliations":[{"raw_affiliation_string":"IIT Patna,Department of Computer Science & Engineering","institution_ids":["https://openalex.org/I132153292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088675403","display_name":"Samrat Mondal","orcid":"https://orcid.org/0000-0002-2159-3410"},"institutions":[{"id":"https://openalex.org/I132153292","display_name":"Indian Institute of Technology Patna","ror":"https://ror.org/01ft5vz71","country_code":"IN","type":"education","lineage":["https://openalex.org/I132153292"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Samrat Mondal","raw_affiliation_strings":["IIT Patna,Department of Computer Science & Engineering"],"affiliations":[{"raw_affiliation_string":"IIT Patna,Department of Computer Science & Engineering","institution_ids":["https://openalex.org/I132153292"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5027967739"],"corresponding_institution_ids":["https://openalex.org/I132153292","https://openalex.org/I67357951"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13379214,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"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.9998999834060669,"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.9998999834060669,"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/T10237","display_name":"Cryptography and Data Security","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/xacml","display_name":"XACML","score":0.927566409111023},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.7697919607162476},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7182372808456421},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.717644989490509},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.6192097663879395},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5779976844787598},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.5694912075996399},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.545699954032898},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.42836371064186096},{"id":"https://openalex.org/keywords/solidity","display_name":"Solidity","score":0.41710084676742554},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3548700511455536},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3207654058933258},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09715911746025085}],"concepts":[{"id":"https://openalex.org/C2779886121","wikidata":"https://www.wikidata.org/wiki/Q288682","display_name":"XACML","level":3,"score":0.927566409111023},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.7697919607162476},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7182372808456421},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.717644989490509},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.6192097663879395},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5779976844787598},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.5694912075996399},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.545699954032898},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.42836371064186096},{"id":"https://openalex.org/C2778362873","wikidata":"https://www.wikidata.org/wiki/Q24909565","display_name":"Solidity","level":2,"score":0.41710084676742554},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3548700511455536},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3207654058933258},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09715911746025085},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icbc56567.2023.10174879","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icbc56567.2023.10174879","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6971706974","display_name":null,"funder_award_id":"1/2021-22","funder_id":"https://openalex.org/F4320325255","funder_display_name":"Ministry of Electronics and Information technology"}],"funders":[{"id":"https://openalex.org/F4320325255","display_name":"Ministry of Electronics and Information technology","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W2071392700","https://openalex.org/W2113182678","https://openalex.org/W2126324650","https://openalex.org/W2154018773","https://openalex.org/W2166602595","https://openalex.org/W2539190473","https://openalex.org/W2595976459","https://openalex.org/W2790202156","https://openalex.org/W2790587587","https://openalex.org/W2790895976","https://openalex.org/W2923615625","https://openalex.org/W2948849466","https://openalex.org/W2963983602","https://openalex.org/W3013527614","https://openalex.org/W3131119308","https://openalex.org/W4211068006","https://openalex.org/W4247999361","https://openalex.org/W4248175462"],"related_works":["https://openalex.org/W4391375891","https://openalex.org/W3092702943","https://openalex.org/W4297798448","https://openalex.org/W4391241361","https://openalex.org/W4388187043","https://openalex.org/W2351416088","https://openalex.org/W4285161539","https://openalex.org/W2982625131","https://openalex.org/W2198182223","https://openalex.org/W4386953084"],"abstract_inverted_index":{"In":[0],"recent":[1],"years,":[2],"with":[3,125],"the":[4,34,49,62,77,112,121,139,148],"support":[5],"of":[6,37,51,79,150],"appropriate":[7],"smart":[8,53,63,134],"contract-based":[9],"access":[10,65],"control":[11,66],"policies,":[12],"blockchain":[13],"technology":[14],"has":[15],"proven":[16],"to":[17,33,43,59,69,73,111,128],"be":[18,41],"a":[19,24,52,117,126],"compelling":[20],"solution":[21],"for":[22,28,97],"providing":[23],"unified,":[25],"trusted":[26],"platform":[27],"resource":[29],"sharing.":[30],"However,":[31],"due":[32],"immutability":[35],"property":[36],"blockchain,":[38],"it":[39,56],"can":[40],"challenging":[42],"patch":[44],"or":[45],"fix":[46],"bugs":[47],"after":[48],"deployment":[50,110],"contract.":[54],"Therefore,":[55],"is":[57,83],"critical":[58],"ensure":[60],"that":[61],"contract":[64],"policies":[67,82,131,145],"adhere":[68],"all":[70],"specifications":[71],"prior":[72],"their":[74],"deployment,":[75],"and":[76,94,136],"presence":[78],"anomalies":[80],"within":[81,120],"not":[84],"desirable.":[85],"Thus,":[86],"this":[87],"paper":[88],"proposes":[89],"an":[90,103],"automated":[91,104],"policy":[92,106],"verification":[93,107,118],"enforcement":[95],"framework":[96],"Ethereum":[98],"decentralized":[99],"applications,":[100],"which":[101],"supports":[102],"off-chain":[105,122],"before":[108],"its":[109],"underlying":[113],"blockchain.":[114],"We":[115],"integrate":[116],"engine":[119],"module":[123],"paired":[124],"translator":[127],"convert":[129],"XACML":[130,144],"into":[132],"Solidity":[133],"contracts":[135],"vice-versa.":[137],"Additionally,":[138],"experiments":[140],"performed":[141],"on":[142],"benchmark":[143],"further":[146],"reinforce":[147],"pragmatism":[149],"our":[151],"proposal.":[152]},"counts_by_year":[],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}