2 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
5 papers
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…
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…
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…
Explainable Bayesian deep learning through input-skip Latent Binary Bayesian Neural Networks
Eirik Høyheim, Lars Skaaret-Lund, Solve Sæbø +1
Modeling natural phenomena with artificial neural networks (ANNs) often provides highly accurate predictions. However, ANNs often suffer from over-parameterization, complicating in…
A use case driven approach for system level testing
Muhammad Touseef, Zahid Hussain Qaisar
Use case scenarios are created during the analysis phase to specify software system requirements and can also be used for creating system level test cases. Using use cases to get s…