#no_std
A set of research notes and deep dives focused on correctness, security, and operational evidence.
Best starting points
Post-Quantum Cryptography for Industrial IoT with Rust
A deep technical dive into the pqc-iiot Rust crate for secure, no_std, post-quantum cryptography in embedded and IIoT environments.
Roadmap
- Start with assumptions and invariants
- Enumerate failure modes and attack surfaces
- Define what to monitor and how to roll back