2 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
Showing 2026Show all
3 papers · 1 filter
cs.CR2026
Mechanizing Typed Regulatory Actions for Security Tokens: Semantics, Falsification, and Bounded EVM Evidence
Jinwook Kim
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…
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…