バイトコードからバイトへ：マジックパケットの自動生成
シンボリック実行とZ3理論証明をBPFバイトコードに適用することで、マルウェアトリガーパケットの生成を自動化し、分析時間を数時間から数秒に短縮しました。
Axel Boesenach
Security Engineer, Threat Intelligence
Security Engineer, Threat Intelligence
シンボリック実行とZ3理論証明をBPFバイトコードに適用することで、マルウェアトリガーパケットの生成を自動化し、分析時間を数時間から数秒に短縮しました。
