arXiv (All)
open access
Mechanizing Typed Regulatory Actions for Security Tokens: Semantics, Falsification, and Bounded EVM Evidence
Security-token standards expose privileged controls without identifying the legal effect executed or the evidence and reversal obligations it carries. We formalize in Isabelle/HOL a reference execution semantics for the six ERC-8319 meanings: FREEZE, SEIZE, CONFISCATE, LIQUIDATE, RESTRICT, and RECOV
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Why Loss Defines the Boundaries of the Moral Field: A Structural Argument Against Sentience, Rationality, and Autonomy Criteria#165295
- Regimentation of Strong Universal Claims: An Evoluist Theorem of Claim-Content Fidelity#690240
- A Functional Skeleton for Bounded Cognitive Agency: Canonical Protocol Specification#689342
- Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin#238520
- The Root of the Demand: Two Limitative Theorems and a Conditional Forcing Result for Answerable Inquiry#689564
Record · ID 973371
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive