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