セキュリティ仮想化

thodoristsampouris/agentguard

AIエージェント向けのゼロトラストサンドボックス。カーネルレベルのファイルシステム隔離、透過的なネットワークプロキシ、YAMLベースのポリシーエンジンを備え、シェルコマンド、ファイル操作、ネットワークリクエストをインターセプトして制御します。

zjuicsr/actbench

Code for paper "ActBench: Self-Evolving Benchmark of Behavioral Safety in Cowork Agents"

hackspeak/cve-2026-64561

Zapscape (CVE-2026-64561) KVM/x86シャドウMMU UAFゲストからホストへのエスケープPoCミラー — V4bel/@v4bel、MIT; 許可されたセキュリティテスト用

huzjie/aegisagent

AIエージェント向けランタイムセキュリティゲートウェイ: ツール呼び出しを暗号学的に証明し、ポリシーを適用し、実行をサンドボックス化し、改ざん防止の監査証跡を記録します。

phalanx-ccs/copy-fail

パッシブ診断ツール。AF_ALGソケットの到達可能性をテストすることで、LinuxシステムがCVE-2026-31431に対して脆弱かどうかを確認し、緩和策のガイダンスとCI対応の終了コードを提供します。

scy-phy/minicps

物理プロセス/制御デバイスモデルとMininetベースのネットワークエミュレーションを備えた、ICSセキュリティ研究向けのサイバーフィジカルシステム用リアルタイムシミュレーションフレームワーク。

horkimhab/cve-2026-53365

CVE-2026-53365

raphire/win11debloat

A simple, lightweight PowerShell script that allows you to remove pre-installed apps, disable telemetry, as well as perform various other changes to…

orange-cyberdefense/goad

アクティブディレクトリのゲーム

boltgolt/howdy

🛡️ Linux向けのWindows Hello™スタイルの顔認証

xairy/vmware-exploitation

VMwareエスケープエクスプロイトに関連するリンク集

microsoft/secureboot_objects

Microsoftの厳選されたセキュアブートオブジェクト（KeK、Db、Dbx）のリポジトリで、ファームウェアおよびランタイム向けに、透過的な失効更新とプラットフォームレベルのブートセキュリティを実現します。

ricccrd/dd

JITベースのユーザースペースLinuxカーネル。仮想マシンなしでApple Silicon macOS上でネイティブにコンテナを実行します。コンテナ隔離、オーバーレイイメージ、ポート公開を備えたドロップインのDocker Engine API置き換えです。

mirage/qubes-mirage-firewall

QubesOS向けの最小限のユニカーネルファイアウォールで、ネットワークトラフィックをフィルタリングし、NATを実装し、Qubes DBとqrexecを介して通信します。

intel/device-modeling-language

ドメイン固有言語で、仮想プラットフォーム向けの高速な機能デバイスモデルを記述します。DMLをC言語にコンパイルし、Intel Simicsシミュレーター向けに調整されたAPIコールを生成することで、ハードウェアシミュレーションとセキュリティテストを可能にします。

kalilinux/build-scripts/kali-packer

軽量で再現可能かつ移植可能な開発環境を作成および構成します Kali HashiCorp Vagrantボックスを作成するためのKali製HashiCorp Packer設定