Showing cs.DCShow all
2 papers · 1 filter
cs.DC2026
From Token Interfaces to Token Semantics: A Formal Composition and Conformance Model for Implementation-Neutral Token Specifications
John deVadoss
Digital-token standards such as ERC-20, ERC-721, and ERC-1155 have been essential to blockchain adoption because they standardize callable interfaces. Interface standardization, ho…
cs.DC2025
A Byzantine Fault Tolerance Approach towards AI Safety
John deVadoss, Matthias Artzt
Ensuring that an AI system behaves reliably and as intended, especially in the presence of unexpected faults or adversarial conditions, is a complex challenge. Inspired by the fiel…