SVF-SVC: Software Verification Using SVF (Competition Contribution). - Cameron McGowan; Matthew Richards; Yulei Sui (TACAS (3), 2025)

Security Considerations for Post-Quantum Signatures in DNSSEC via Request-Based Fragmentation. - Cameron McGowan; James Liu; Sushmita Ruj (WWW (Companion Volume), 2025)