- Cascade won the bronze medal in the category of "MemorySafety" of the 4th International Competition on Software Verification (SV-COMP 2015).
- Cascade (Competition Contribution). Slide. TACAS 2015.
- Cascade 2.0. VMCAI 2014.
- Using SPIN to detect the vulnerabilities in the AACS Drive-Host Authentication Protocol. FORTE 2008.
- Cascade 2.0. in VMCAI 2014, San Diego, the U.S.