Hochrainer, Christoph
- 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
- Fuzzing Processing Pipelines for Zero-Knowledge Circuits
2024/11/04 by Hochrainer, Christoph, Isychev, Anastasia, Wüstholz, Valentin +1 · 3 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)