Systems and security engineer working in low-level C/C++ on Linux, embedded/RTOS, post-quantum cryptography, secure transport, and kernel-bypass networking.
The repositories here are public, demo/review versions of larger projects. The full production and research codebases are private due to NDA, EU-consortium, startup, and publication constraints, so the public code is meant to show the implementation and the methodology rather than the complete system.
For the same reason, the results published in each repo come from a smaller public subset, so some numbers will differ from those measured in the full private work. Each repo points to the one result file it treats as its source of truth.
- Zephyr/TF-M PQC measurement showcase: a small runnable, synthetic example of hash-bound power gates, 100 kS/s current integration and measurement-boundary checks. It contains no private traces or unpublished hardware results.
- Zephyr/QEMU PQC benchmarking: cross-ISA framework and public, modelled-energy results, now with stricter data validation.
- Kernel-bypass PQC benchmarking: transport comparison with raw-file provenance and stronger result classification.
- Hybrid PQC TLS for UAV telemetry: runnable public transfer demo with matched client/server report validation.
- PQC edge AI co-optimization: released dataset with duplicate-key and finite-metric checks.
The embedded PQC engineering portfolio includes the separately maintained ACVP/KAT work.
- zephyr-pqc-benchmarking — embedded PQC benchmarking in C on Zephyr/QEMU across several ISAs.
- kernel-bypass-pqc-benchmarking — PQC-authenticated handshake and AES-GCM data plane over Linux, eBPF/XDP, DPDK, and userspace TCP stacks.
- hybrid-pqc-tls-uav — hybrid post-quantum TLS 1.3 (ECDH+ML-KEM, ECDSA+ML-DSA) for UAV telemetry.
- pqc-edge-ai-co-optimization — PQC-secured edge-to-cloud split inference.
- zephyr-embedded-pqc-benchmarking — Zephyr module with ACVP/KAT validation and a cost-of-assurance benchmark.