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