← Publications

Research work

Efficient Branch-and-Bound Testing and Verification of zkVMs

Hideaki Takahashi, Suman Jana, Junfeng Yang

Proceedings of the 33rd ACM SIGSAC Conference on Computer and Communications Security (CCS), November, 2026