セキュリティ仮想化

withsecureopensource/see

サンドボックス実行環境

xairy/vmware-exploitation

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

lxc/incus-os

不変のLinux OSイメージ。Incusコンテナおよび仮想マシンの実行に最適化されており、UEFIセキュアブート、TPM 2.0ディスク暗号化、および安全なインフラストラクチャデプロイメントのための自動イメージビルドを備えています。

instavm/coderunner

AIエージェントのためのローカルサンドボックス

rivet-dev/sandbox-agent

コーディングエージェントをサンドボックスで実行。HTTPでそれらを制御。Claude Code、Codex、OpenCode、Ampをサポート。

dockersecurityplayground/dsp

ネットワークセキュリティとペネトレーションテスト技術の研究のためのマイクロサービスベースのフレームワーク

tandasat/hypervisor-101-in-rust

「Rustで学ぶハイパーバイザー101」の教材。Intel/AMDプロセッサ上のハードウェア支援仮想化技術と、高性能ファジングへの応用を短期間で学ぶための1日コースです。

openedx/codejail

安全なコード実行

intellabs/kafl

完全なVMカーネル/ドライバーターゲット向けファザー

clawkwork/clawk

コーディングエージェントには、あなたのラップトップではなく、使い捨てのLinux VMを与えましょう

finbarr/yolobox

AIを全開で走らせよう。ホームディレクトリは家に置いたままだ。

mirage/qubes-mirage-firewall

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

cert-ee/cuckoo3

オープンソースの自動マルウェア解析サンドボックスで、隔離されたVM内で疑わしいファイルやURLを実行し、詳細な動作レポートを生成します。

jamesstringer90/appsandbox

開発やコンピュータ利用モデル向けに、サンドボックス化された本格的な仮想マシンを簡単に作成できます。

microsoft/secureboot_objects

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

harbor-framework/terminal-bench-2

コンテナ化された環境における脆弱性解決、コードデバッグ、タンパク質アセンブリなどの現実世界のタスクでAIエージェントを評価するためのベンチマーク。最先端の研究所がエージェントの能力を測定するために使用しています。