Jinwook Kim
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Crypto×2Logic×1Society×1
Frequent co-authors
Research Timeline
2026
A Regulatory Compliance Protocol for Asset Interoperability Between Traditional and Decentralized Finance in Tokenized Capital Markets
The paper proposes a Regulatory Compliance Protocol (RCP) to standardize and provide a regulatory framework for the interoperability and tokenization of assets between traditional and decentralized finance.
Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL
The paper provides a mechanized proof in Isabelle/HOL guaranteeing both the safety (state preservation) and liveness (progress) of regulatory state transitions across multiple, heterogeneous blockchain domains, even when facing Byzantine faults.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.LORecentApr 4, 2026
Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL
The paper provides a mechanized proof in Isabelle/HOL guaranteeing both the safety (state preservation) and liveness (progress) of regulatory state transitions across multiple, heterogeneous blockchai…
View →
cs.CYcs.CRRecentMar 31, 2026