Systems Programmer & Cryptography Researcher
Building clean-room post-quantum cryptographic primitives, distributed systems, and low-level tools in Rust & Go.
| Metric | Measured Result | Verification Method |
|---|---|---|
| Test Suite Pass Rate | 100% (35/35 tests passing) | Deterministic KAT, Property Tests, Fault/Negative Tests |
| Side-Channel Timing Audit |
|
Welch's |
| Memory Allocation | 0 heap bytes in core loops | Heap-free constant-time arithmetic (subtle + zeroize) |
| Lattice-KEM Latency |
|
Criterion statistical benchmarks (x86_64 AVX2) |
| Code-KEM (QC-MDPC) Latency |
|
In-memory EEA polynomial inversion & bit-flipping |
| Theoretical Hardness |
|
BKZ 2.0 Core-SVP estimator & Prange/Stern ISD model |
| Supported Target Platforms |
x86_64, aarch64, wasm32, no_std core |
Cross-target compilation & cargo test suites |
| Repository | Description | Stack | Status |
|---|---|---|---|
| QRYPTEX | Clean-room post-quantum hybrid KEM and strong-binding signature combiners across 8 modular crates. | Rust Module-LWE QC-MDPC WOTS+ |
 |
| securekey-slh-dsa | NIST FIPS 205 (SLH-DSA / SPHINCS+) post-quantum key management and digital signature CLI. | Rust CLI FIPS-205 |
|
| repotrek | Terminal-first GitHub source browser for deeply exploring code without cloning repositories. | TypeScript Node.js CLI |
|
| cipherjs | Lightweight cryptography utility library for modern JavaScript & Node.js runtimes. | JavaScript WebCrypto |
- Languages: Rust, Go, C11, TypeScript, Python, SQL
- Systems & Cloud: Linux internals, Docker, Kubernetes, WebAssembly (Wasm), eBPF, Git
- Cryptography & Security: Lattice-based KEMs, Code-based Cryptography, Hash-based Signatures, Constant-Time Arithmetic (
subtle), Memory Sanitization (zeroize)
- Correctness > Performance > Complexity: Deterministic mathematical soundness and verifiable security proofs always precede premature optimization.
- Explicit Security Assumptions: Every scheme, parameter set, and security reduction explicitly documents its formal adversary model and bounds.
-
Zero Undocumented
unsafe:#![forbid(unsafe_code)]by default; any low-level hardware or intrinsics path requires strict invariant documentation. -
Reproducible Benchmarks & Empirical Audits: Performance numbers and side-channel leakage tests (
$t$ -test) are verifiable via standard tooling (cargo bench,cargo test), not synthetic assertions. -
Memory Hygiene by Default: Secret keys, polynomial states, and intermediate secrets strictly implement
ZeroizeOnDropand branch-free constant-time execution (subtle).