arXiv Science⌕ Search

arXiv subjects

Henry F. Korth

Publications and source records attributed to Henry F. Korth.

4 recordsLinked to original sources
arXiv2026

Unsnarling the Red Tape: Computational Infrastructure for Regulatory Systems

Regulatory complexity is increasingly recognized as an impediment to innovation, institutional responsiveness, and long-run economic growth, with regulatory accumulation estimated to reduce the U.S. GDP growth rate by nearly a full percentage point annually. This paper argues that computational approaches--including knowledge representation, artificial intelligence, natural-language processing, and cryptography--can help reduce forms of regulatory "red tape" by improving efficiency, transparency, and institutional responsiveness. We develop a framework for understanding the sources of regulatory friction and how they can be mitigated to support compliance, analysis, and reform. We further argue that effective modernization requires treating regulation not merely as legal text, but as a complex institutional and informational system that can be partially represented, analyzed, coordinated, and improved computationally while preserving legal legitimacy and procedural accountability.

cs.CY↗
arXiv2024

CroCoDai: A Stablecoin for Cross-Chain Commerce

Decentralized Finance (DeFi), in which digital assets are exchanged without trusted intermediaries, has grown rapidly in value in recent years. The global DeFi ecosystem is fragmented into multiple blockchains, fueling the demand for cross-chain commerce. Existing approaches for cross-chain transactions, e.g., bridges and cross-chain deals, achieve atomicity by locking assets in escrow. However, locking up assets increases the financial risks for the participants, especially due to price fluctuations and the long latency of cross-chain transactions. Stablecoins, which are pegged to a non-volatile asset such as the US dollar, help mitigate the risk associated with price fluctuations. However, existing stablecoin designs are tied to individual blockchain platforms, and trusted parties or complex protocols are needed to exchange stablecoin tokens between blockchains. Our goal is to design a practical stablecoin for cross-chain commerce. Realizing this goal requires addressing two challenges. The first challenge is to support a large and growing number of blockchains efficiently. The second challenge is to be resilient to price fluctuations and blockchain platform failures. We present CroCoDai to address these challenges. We also present three prototype implementations of our stablecoin system, and show that it incurs small execution overhead.

cs.CR↗
arXiv2024

Research Pearl: The ROSI Operating System Interface

This paper presents some preliminary results concerning a new user-friendly operating system interface based on the relational data model that is currently under development at the University of Texas at Austin. The premise of our work is that a relational model of the operating system environment wil produce a user and programmer interface to the system: is easier to use, is easier to learn, and allows greater portability as compared with existing operating system interfaces. Our approach is to model elements of the operating system environment as relations and to model operating system commands as statements in a relational language. In adapting the relational model to an operating system environment, we found it necessary to extend the model and improve existing relational languages. The extensions to the relational model are designed to allow a more natural representation of elements of the environment. Our language extensions exploit the universal relation model and utilize the graphical capabilities of modern workstations. The nature of our investigations is ranging from practical implementation issues to the more theoretical questions of modeling and language semanties.

cs.DB↗