projects

• Quus Bug-Hunting Agent Harness Based on Extended First-Order Logic
• Pro Bono Bug Hunt Coordinated Vulnerability Disclosure