vix.ing · top · new · best · stats · spec

Christoph Hochrainer

  1. Arguzz: Testing zkVMs for Soundness and Completeness Bugs
    2025/09/13 by Christoph Hochrainer, Hochrainer, Christoph, Valentin Wüstholz +3 · 1 voice · 1 citation
    Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques #cs.CR #cs.PL #cs.SE