#1
用于纽约大学安全系统实验室项目的加密及通用例程

基于FPGA的硬件仿真平台主二进制文件及文档,用于复古系统开发、固件编译和硬件安全研究。

Lan Tian 的 NixOS 配置

针对加密固件与软件逆向工程的研究方法,涵盖 AI 辅助分析、独立验证以及公开来源参考。

硬件工具,用于RFID分析、模拟和渗透测试。支持125kHz、13.56MHz协议(MIFARE、iClass、ISO14443/15693),具备密钥恢复、嗅探和脚本功能,适用于安全研究。

使用 @charmbracelet 创建一个风格独特的以太坊浏览器

SSH代理,用于创建和管理TPM密封密钥以实现硬件绑定认证,支持密钥生成、导入、封装、PIN保护和代理回退。

开源智能卡工具与中间件。PKCS#11/MiniDriver

开源硬件安全工具链,用于对嵌入式设备和密码实现进行功耗轨迹采集、侧信道分析以及故障注入/毛刺攻击。

Raspberry Pi Pico Arduino核心,适用于所有RP2040和RP2350开发板

用于硬件黑客工具的多协议固件,支持 SPI、I2C、JTAG、UART、1-Wire、总线嗅探、逻辑分析以及微控制器编程。

分布式系统中对数据的有意义控制。

Zephyr 项目的主要 Git 仓库。Zephyr 是新一代、可扩展、优化、安全的多硬件架构 RTOS。

# 使用微软官方支持的方法安全、可靠地加固 Windows | 始终与最新版 Windows 保持同步更新 | 为个人、企业、政府和军事安全级别提供工具与指南 | 符合 SLSA Level 3 安全开发与构建流程标准 | 应用可在微软商店获取✨

nextpnr 便携式 FPGA 布局布线工具

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

借助 GDB 和 LLDB 轻松实现漏洞利用开发与逆向工程