@inproceedings{zebra:ccs26,
    author = "Takahashi, Hideaki and Jana, Suman and Yang, Junfeng",
    title = "Efficient Branch-and-Bound Testing and Verification of {zkVMs}",
    booktitle = "Proceedings of the 33rd ACM SIGSAC Conference on Computer and Communications Security (CCS)",
    shortbooktitle = "CCS",
    month = "November",
    year = "2026"
}