Hyunhum Cho

Orcid: 0000-0001-9256-5794

According to our database¹, Hyunhum Cho authored at least 3 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts.

[DOI]

CoRR, January, 2026

Rarity Defense: A Formal and Empirical Analysis of NFT Trait Systems for Wash Trading Mitigation.

[DOI]

IEEE Access, 2026

2023

Asynchronous federated learning with directed acyclic graph-based blockchain in edge computing: Overview, design, and challenges.

[DOI]

Expert Syst. Appl., August, 2023