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