
sgxray
SMACK検証器をベースにした自動推論ツールで、信頼境界違反からSGXエンクレーブのバグを検出します。これには無効なポインタ処理、メモリ解放エラー、TOCTOUバグなどが含まれます。

手頃な価格のWiFiハッキングプラットフォーム。テストと学習用。

信頼できないUSBマスストレージデバイスを安全に読み取るためのツールおよびフレームワーク。

公式OpenOCD読み取り専用ミラー(プルリクエスト不可)

Linuxカーネルのセキュリティ強化オプションをチェックするツール

UEFIファームウェア解析とリバースエンジニアリング自動化のためのIDAプラグインおよびローダー

注入可能なリアルモード x86 デバッガ。BIOSリバースエンジニアリングおよびシリアルケーブルを介した任意のリアルモードコードデバッグ用。GDB統合とハードウェアブレークポイント/ウォッチポイントサポート付き。

Framework for compiling and executing Go applications on bare metal processors, enabling secure firmware development with reduced attack surface…

プラットフォームセキュリティ評価ツール。UEFI/SMMレジスタ、PCI設定空間、物理メモリ、SPIフラッシュ、S3ブートスクリプトのダンプおよび解析を行い、IntelおよびAMDシステム向けに内蔵のSMIファザーを備えています。


EMBA - ファームウェアセキュリティアナライザ

The firmware engineering home of the Cryptohack electronic badge project.

Cryptohack Badgeプロジェクトのモバイルエンジニアリングのホーム。

Circuit Crafters初の電子バッジプロジェクトのファームウェアボードサポートパッケージホームです。

Circuit Crafters 初の電子バッジプロジェクトのファームウェアエンジニアリング拠点。

AI統合車両システム向けのオープン仕様の厳選コレクション。組み込み、IoT、クラウドプラットフォームにわたって、自動運転、知覚、ナビゲーション、エネルギー管理、安全性、診断、セキュアアップデートを網羅しています。

Circuit Crafters初の電子バッジプロジェクトのハードウェアエンジニアリング拠点。