#Autonomous Exploitation

セキュリティ

UC BerkeleyのCyberGymベンチマークにおいて、Ostorlab Neutronが純粋なソースコードのリバースエンジニアリングと決定論的なプロトコルモデリングを組み合わせ、全1,507タスクで欠陥箇所を特定し、96.75%（1,458/1,507タスク）の検証済みエクスプロイト解決率を達成した仕組みについての技術的解説。