サイバーセキュリティ
基盤

デプロイ前の互換性保証。デプロイ後のランタイム適用。現代のシステム向けの検証可能なセキュリティ基盤。

リリースからランタイムまでのセキュリティ

BPFCompat は、コンパイル済み eBPF アーティファクトと実際のローダーをユーザーが運用する実カーネル上で検証し、互換性の仮定を実行可能な証拠へ変えます。

AegisBPF は、カーネルレベルの enforcement、スコープされたポリシー制御、構造化されたセキュリティイベントでランタイム側を担います。Linux と eBPF は技術レイヤーであり、Kernel Guard はより広い検証可能なサイバーセキュリティ基盤を構築します。

SECURITY // 公開証拠

表面的な指標ではなく、セキュリティの証拠

実際に提供しているセキュリティエンジニアリングと公開 upstream 作業に結び付いた証拠です。

2

マージ済み upstream 統合

BPFCompat の互換性レーンは Falco と Inspektor Gadget にマージされています。

QEMU/KVM

実カーネル検証

使い捨て QEMU/KVM ゲストで、静的なバージョン推測ではなく実際のベンダーカーネルを起動します。

x86_64 + ARM64

アーキテクチャ対応

互換性検証は x86_64 と ARM64 を対象にします。

SLSA

サプライチェーン証拠

タグ付きリリースには署名、CycloneDX SBOM、SLSA provenance が含まれます。

Falco + Inspektor Gadget upstream にマージ済み
Real vendor kernels 互換性実行
Signed · SBOM · provenance リリース証拠

掲載しているエコシステムプロジェクトは統合先であり、顧客として表示しているものではありません。

セキュリティエンジニアリング・スタック

互換性保証、ランタイム enforcement、サイバーセキュリティ基盤を支えるシステム技術。

Linux
eBPF
libbpf
Go
C++
QEMU/KVM
Kubernetes
CO-RE
BPF LSM
GitHub Actions
Linux
eBPF
libbpf
Go
C++
QEMU/KVM
Kubernetes
CO-RE
BPF LSM
GitHub Actions

エンジニアリング原則

仮定より証拠
バージョン推測ではなく、実カーネル上で測定された挙動を優先します。
Runtime Truth
実際の実行環境にできるだけ近い場所で検証と enforcement を行います。
公開技術レビュー
コアツール、制約、技術証拠を独立してレビューできる状態に保ちます。

公開しながら開発

Kernel Guard の Linux・eBPF コアツールは GitHub 上で公開開発され、upstream 統合と技術証拠も確認できます。

GitHub