
Sandroid_Dexray-Intercept
Androidマルウェア解析ツール。暗号化、ファイルシステム、データベース、ネットワーク通信、プロセス操作にわたるアプリケーションの動作にフックすることで、包括的なランタイムプロファイルを作成します。

Androidマルウェア解析ツール。暗号化、ファイルシステム、データベース、ネットワーク通信、プロセス操作にわたるアプリケーションの動作にフックすることで、包括的なランタイムプロファイルを作成します。

o1js/Mina zkAppsおよびNoir回路におけるzk回路の健全性バグを検出する依存関係不要の静的解析ツール

Signal Protocol をはじめ、Signal を可能にするその他の暗号プリミティブの本拠地です。

オープンソースのTPM device-attest-01 CAサーバー

JKSの棺桶の釘 - JKSファイル内の秘密鍵エントリのパスワードをクラックする

BitcoinおよびLitecoinのwallet.datファイルから暗号通貨の秘密鍵とアドレスを抽出し、ウォレットの復旧とフォレンジック分析を可能にします。

:snake: JSON Web Tokenをテスト、調整、クラッキングするためのツールキット

WhatsApp の .crypt12、.crypt14、.crypt15 ファイルを管理します。

ビットマップ画像(.bmpおよび.png)、WAVサウンドファイル、バイトシーケンスに対応した最下位ビットステガノグラフィ。ビットマップ画像向けのシンプルなLSBステガノ分析(LSB抽出)。

組み込みおよびIoTシステム向けの、SCP、SFTP、ポートフォワーディング、耐量子鍵交換を備えた、Cで書かれた小型でポータブルな組み込み可能なSSHv2クライアントおよびサーバーライブラリ。

自然言語またはC/C++プロトコル記述をレビュー可能なProtocol IRに変換し、形式セキュリティ検証用のSapic+/Tamarinモデルを生成するHuman-in-the-loop UI。

Zipファイル形式のファザーおよびマルチツール。

ブロックチェーンのセキュリティ研究、監査レポート、ガイド、翻訳をまとめた知識ベース。スマートコントラクト、暗号技術、AIセキュリティを扱います。

シンプルでモダンかつ安全な暗号化ツール(およびGoライブラリ)。小さな明示的な鍵を使用し、設定オプションはなく、UNIXスタイルのコンポーザビリティを備えています。

公開データセットに対してサイドチャネル解析攻撃(例:CPA)を実行するためのPythonフレームワーク。教育用途および暗号ハードウェアセキュリティの実践的な学習用に設計されています。

Self-hosted evidence gateway for AI systems: fail-closed policy, WAF, egress controls, signed durable MMR proofs, and offline verification across LLM…

データ、特にパスワードの暗号化に使用されるさまざまなタイプのハッシュを識別するソフトウェア