
Signal-iOS
Open-source iOS messenger providing end-to-end encrypted text, voice, and video calls via the Signal Protocol, with no analytics or telemetry…

Open-source iOS messenger providing end-to-end encrypted text, voice, and video calls via the Signal Protocol, with no analytics or telemetry…

Domain-specific language compiler for creating arithmetic circuits targeting the RISC Zero zero-knowledge proof system, enabling custom accelerators…

Declarative NixOS configuration with root-on-tmpfs, nftables firewall, sops-nix secrets, Post-Quantum Cryptography, DNS management via DNSControl,…

Cryptanalysis of a proprietary 1999 video DRM system. Recovers 61 encrypted wrestling videos from the WCW Internet Powerdisk CD-ROM through static…

OWASP Web Security Testing Guide RAG system with ChromaDB, MCP for Claude Code

The Governed Agentic AI Operating System — Rust + Tauri 2.0 | 65 crates, 658 commands, 84 pages, 5,029 tests, 10/10 OWASP

BGT-Pentest-LAB Final Project: Xiaomi HyperOS System Updater OTA Signature Verification Bypass (CVE-2024-4309) Deep Analysis.

Efficient implementation of the KKW zero-knowledge proof system for arbitrary rings, providing prover and verifier with linear proving time and…

Core operating system kernel managing hardware, system resources, and providing foundational services for all software, with extensive documentation…

SSH server & client security auditing (banner, key exchange, encryption, mac, compression, compatibility, security, etc)

Analyzes DNS delegation and DNSSEC security by probing resolvers and authoritative servers, then validating, diagnosing, and visualizing zone…

Single Packet Authorization > Port Knocking

Windows protocol library, including SMB and RPC implementations, among others.

Extract server certificates from TLS endpoints over HTTPS, WSS, FTPS, SMTP, IMAPS, PostgreSQL, and MySQL, with export to PEM, DER, PKCS12, or JKS…

Ultra-lightweight RTOS for IoT with preemptive scheduling, TLS/DTLS, MQTT, CoAP, POSIX compatibility, and MPU-based memory protection. Kernel under…

Proof-of-concept tool for identifying cryptographic keys (AES, Serpent, Twofish, RSA) in binary material and memory dumps for forensic analysis.

Python PoC demonstrating CVE-2026-22020: exploitable weak seed in quantum key distribution privacy amplification, reducing final key entropy.

Encryption from Nonlinear Sheaf Morphisms over Graphs