2 papers
cs.CR2026
The Cross-Domain State Preservation Functor: A Mechanized Theory of Regulatory State Synchronization in Isabelle/HOL
Jinwook Kim
A regulatory action on a tokenized asset, such as a freeze, a seizure, or a confiscation, must take effect on every domain holding it, or on none. We mechanize cross-domain state p…
cs.CY2026
A Regulatory Compliance Protocol for Asset Interoperability Between Traditional and Decentralized Finance in Tokenized Capital Markets
Jinwook Kim, Jonghun Hong
There have been various attempts at token standards on numerous blockchain platforms today to fundamentally change the way assets are traded in the traditional capital markets, but…