
nixos-config
Lan Tian の NixOS 設定

Lan Tian の NixOS 設定

Portable OpenSSH

wolfSSLライブラリは、組み込みデバイスからクラウドまで対応する、小型で高速かつ移植性の高いTLS/SSL実装です。 wolfSSLはTLS 1.3およびDTLS 1.3をサポートしています!最新のCVE修正のためにwolfSSL 5.9.1にアップデートしてください。

RFID解析、エミュレーション、およびペネトレーションテストのためのハードウェアツール。125kHz、13.56MHzプロトコル(MIFARE、iClass、ISO14443/15693)をサポートし、セキュリティ研究向けの鍵回復、スニッフィング、スクリプティング機能を備えています。

自動定理証明、制約解決、プログラム検証のための高性能SMTソルバー。形式的解析のための複数の理論と言語バインディングをサポート。

XMLセキュリティライブラリ

画像や動画から、可視および不可視のAI透かしと来歴メタデータを除去します。SynthID、C2PA、EXIF、IPTC、XMP、および一般的な生成AIマークに対応したPythonライブラリおよびCLIです。

オープンソースのiOSメッセンジャー。Signal Protocolを介してエンドツーエンド暗号化されたテキスト、音声、ビデオ通話を提供し、アナリティクスやテレメトリ収集は一切行いません。

デフォルト依存関係ゼロのRust暗号: BLAKE3、Ed25519/X25519、ハッシュ、MAC、KDF、AEAD、チェックサムを完全なSIMD/ASMアクセラレーションで提供

MCPサーバー向けのレイヤー2サプライチェーンハードニング — Ed25519署名されたツールマニフェスト、ランタイムスパーンアテステーション、デフォルト拒否引数サニタイザー。マーケットプレイスポイズニング + CVE-2025-69256 + CVE-2025-61591 を防御します。

世界最速かつ最も先進的なパスワード復元ユーティリティ

ピアツーピアネットワーク上でトランザクションとブロックを検証するフルノードのBitcoinクライアントです。統合ウォレット、暗号セキュリティ、オプションのGUIを備え、分散型暗号通貨管理に対応しています。

暗号公開鍵における一般的な脆弱性を見つけるツール


A local-only journal with serious encryption. Free, open source, and never touches the internet.

TLS暗号化、証明書認証、およびプライベートネットワーク向けのルーティング/ファイアウォール設定を備えたVPNプロトコルを実装するセキュアなトンネリングデーモン。

SSHプロトコルを実装したCライブラリで、安全なリモートアクセス、認証、暗号化通信を提供します。堅牢なセキュリティテストのためのOSS-Fuzzによるファジングサポートを含んでいます。