Publication2023
An Automated Policy Verification and Enforcement Framework for Ethereum Applications
The record
- Type
- Publication
- Date
- 1 January 2023
- Level
- National
- Journal
- 2023 IEEE International Conference on Blockchain and Cryptocurrency Icbc 2023
- Published
- 1 January 2023
- DOI
- 10.1109/icbc56567.2023.10174879
- Scopus ID
- 85166182249
- Authors
- 3
- Open access
- No
- Citations
- 1
- International co-authorship
- No
- Co-author countries
- IN
Classification
Every label below carries the reasoning it was assigned on, the confidence band it was assigned in, and what produced it. The rubric is published.
UN Sustainable Development Goals
16.4 Significantly reduce illicit financial and arms flows and combat all forms of organized crime
Automated policy verification framework for Ethereum smart contracts addresses prevention of corruption and illegal activities by ensuring access control policies adhere to specifications before deployment.
- High confidence
- The subject matter is a strong and direct inference from the record type, the funding or organising body, or the programme context, even where the title alone is thin. Example: an ICMR-funded project against SDG 3, on the strength of the agency.
- Judged
- Judged against the published classification rubric, under the rubric and prompt versions recorded with the run that produced it.
- Produced by
- claude-haiku-4-5-20251001, under kortex-publication-v1
9.5 Enhance scientific research, upgrade technological capabilities, and increase researchers and R&D spending
Novel framework integrating verification engines with blockchain technology and smart contract translation represents research innovation in cybersecurity and distributed systems technology.
- Produced by
- claude-haiku-4-5-20251001, under kortex-publication-v1
Viksit Bharat @2047
vb-4.3 E-governance and digital public infrastructure
E-governance and digital public infrastructure strengthened through blockchain-based policy verification and enforcement mechanism for decentralized applications.
- Produced by
- claude-haiku-4-5-20251001, under kortex-publication-v1
Each label above carries the instrument and the version that produced it. How each classification is reached.
Evidence
Kortex hosts no documents. Evidence is an outbound link to the authority that holds it.
No outbound evidence link is recorded for this activity. The record below states which source it came from and when it was last read.
Provenance
Which source system this record came from, how many source rows were resolved into it, and when each was last read.
- Source rows resolved into this record
- 1
Each record carries the date Kortex last read it from its source system. That is a freshness date and not a verification: Kortex records what its sources say and when it read them, and it does not check those statements against any external authority. No claim on this site is described as verified, because none is.
Citing this record
This URL is stable. A record’s permalink is frozen when it is published and is not regenerated if its title is later corrected.
KIIT Deemed to be University. “An Automated Policy Verification and Enforcement Framework for Ethereum Applications”. Kortex.