Cover Image

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bella, Giampaolo, Cantone, Domenico, Longo, Cristiano, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco
Format:	Preprint
Published:	2021
Subjects:	Cryptography and Security Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
by: Bella, Giampaolo, et al.
Published: (2023)

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2020)

A set-theoretical approach for ABox reasoning services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2018)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2018)

An Ontological Approach to Compliance Verification of the NIS 2 Directive
by: Castiglione, Gianpietro, et al.
Published: (2023)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
by: Cantale, Claudia, et al.
Published: (2017)

Behind the (Digital Crime) Scenes: An MSC Model
by: Raciti, Mario, et al.
Published: (2024)

Up-to-date Threat Modelling for Soft Privacy on Smart Cars
by: Raciti, Mario, et al.
Published: (2023)

The IoT Breaches your Household Again
by: Bonaventura, Davide, et al.
Published: (2024)

Poster: Machine Learning for Vulnerability Detection as Target Oracle in Automated Fuzz Driver Generation
by: Castiglione, Gianpietro, et al.
Published: (2025)

Detecting Financial Bots on the Ethereum Blockchain
by: Niedermayer, Thomas, et al.
Published: (2024)

PETIoT: PEnetration Testing the Internet of Things
by: Bella, Giampaolo, et al.
Published: (2023)

Decentralized Firmware Integrity Verification for Cyber-Physical Systems Using Ethereum Blockchain
by: Hossain, S M Mostaq, et al.
Published: (2026)

Time Tells All: Deanonymization of Blockchain RPC Users with Zero Transaction Fee (Extended Version)
by: Wang, Shan, et al.
Published: (2025)

FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
by: Hossain, Tahrim, et al.
Published: (2025)

To See or Not to See: A Privacy Threat Model for Digital Forensics in Crime Investigation
by: Raciti, Mario, et al.
Published: (2025)

Unveiling Decentralization: A Comprehensive Review of Technologies, Comparison, Challenges in Bitcoin, Ethereum, and Solana Blockchain
by: Song, Han, et al.
Published: (2024)

Identifying Likely-Reputable Blockchain Projects on Ethereum
by: Malik, Cyrus, et al.
Published: (2025)

Characterizing Transfer Graphs of Suspicious ERC-20 Tokens
by: Josenhans, Calvin, et al.
Published: (2025)

Extending Blockchain Untraceability with Plausible Deniability
by: Park, Eunchan, et al.
Published: (2026)

Bridging Cloud Convenience and Protocol Transparency: A Hybrid Architecture for Ethereum Node Operations on Amazon Managed Blockchain
by: Hossain, S M Mostaq, et al.
Published: (2025)

Confidential Wrapped Ethereum
by: Chystiakov, Artem, et al.
Published: (2025)

Detection and Analysis of Sensitive and Illegal Content on the Ethereum Blockchain Using Machine Learning Techniques
by: Feng, Xingyu
Published: (2025)

TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2025)

Talking Transactions: Decentralized Communication through Ethereum Input Data Messages (IDMs)
by: Xiong, Xihan, et al.
Published: (2025)

Not Sure Your Car Withstands Cyberwarfare
by: Bella, Giampaolo, et al.
Published: (2024)

Bridging BRC-20 to Ethereum
by: Wang, Qin, et al.
Published: (2023)

Decentralization of Ethereum's Builder Market
by: Yang, Sen, et al.
Published: (2024)

A Risk-Stratified Benchmark Dataset for Bad Randomness (SWC-120) Vulnerabilities in Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2026)

On Kernel's Safety in the Spectre Era (Extended Version)
by: Davoli, Davide, et al.
Published: (2024)

Credential Control Balance: A Universal Blockchain Account Model Abstract From Bank to Bitcoin, Ethereum External Owned Account and Account Abstraction
by: Jiao, Huifeng, et al.
Published: (2024)

Commitment Attacks on Ethereum's Reward Mechanism
by: Sarenche, Roozbeh, et al.
Published: (2024)

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
by: Lago, Ugo Dal, et al.
Published: (2024)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
by: Giampietro, Sofia, et al.
Published: (2026)

A security framework for Ethereum smart contracts
by: Vivar, Antonio López, et al.
Published: (2024)

Eclipse Attacks on Ethereum's Peer-to-Peer Network
by: Shi, Ruisheng, et al.
Published: (2026)

Goldfish: No More Attacks on Ethereum?!
by: D'Amato, Francesco, et al.
Published: (2022)

Sisu: Decentralized Trustless Bridge For Full Ethereum Node
by: Pham, Billy, et al.
Published: (2024)