#cryptographyView all tags
PQC Research Series — Part 4
· 18 min — #post-quantum-cryptography#cryptography#formal-methods#reductions#concrete-security#lattices#fiat-shamir#QROM#security-engineering#embedded#systems
PQC Research Series — Part 3
· 19 min — #post-quantum-cryptography#cryptography#formal-methods#QROM#random-oracle-model#fiat-shamir#signatures#zero-knowledge#security-engineering#systems
PQC Research Series — Part 2
· 13 min — #post-quantum-cryptography#formal-methods#cryptography#lattices#LWE#SIS#reductions#security-engineering
PQC Research Series — Part 1
· 17 min — #post-quantum-cryptography#formal-methods#cryptography#systems#threat-modeling#QROM
Hybrid Schemes and Protocol Agility
· 10 min — #research-notes#post-quantum-cryptography#cryptography#protocol-design#security-critical-infrastructure#devsecops#distributed-systems#TLS
The Leaf Is the Hot Path: Signature Placement in Post-Quantum TLS (ML-DSA vs SLH-DSA)
· 9 min — #research-notes#post-quantum-cryptography#cryptography#protocol-design#security-critical-infrastructure#devsecops#distributed-systems#TLS#PKI
Stateful Signatures Are a Distributed Systems Problem: XMSS/LMS Without Index Reuse
· 10 min — #research-notes#post-quantum-cryptography#cryptography#security-critical-infrastructure#devsecops#iiot-platforms#distributed-systems#formal-methods
Termination Is a Security Boundary: HotStuff Under UC, Delay Attacks, and the Uncomfortable Gap to Rust
· 13 min — #research-notes#distributed-systems#consensus#BFT#formal-methods#cryptography#Rust#security
Secure Distributed Storage: Erasure Coding Under Adversaries
· 3 min — #research-notes#distributed-systems#cryptography#formal-methods#security
Verifiable Computation as Infrastructure: Proof Systems at Scale
· 3 min — #research-notes#distributed-systems#cryptography#formal-methods#security
Composable Security: Where Proofs Break in Real Systems
· 3 min — #research-notes#distributed-systems#cryptography#formal-methods#security
Research Frontiers: Composability, Proofs, and Future Primitives
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Long-Lived Secrets: Forward Secrecy, KEMs, and Key Erasure
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Post-Quantum DoS Surfaces: Handshakes, Amplification, and Mitigations
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Operationalizing PQC: Monitoring, Rollback, and Incident Response
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Quantum Tunneler: A Quantum-Safe IPSec Stack in Rust
· 4 min — #post-quantum-cryptography#Rust#IPSec#cryptography#no-std#network-security
Quantum-Safe VPN Design: Lessons from Implementing a PQ IPSec Stack
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
QuantumSafe Finance – Deep Technical Overview (Phase 2)
· 4 min — #post-quantum#cryptography#fintech#audit
no_std Crypto in Rust: Determinism, Side Channels, and Constraints
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
BFT with PQ Primitives: When Crypto Costs Dominate
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Quantum-Resilient Identity: Device + Human, Online + Offline
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
CPZKp - Building Practical Zero-Knowledge Proofs in Rust from Scratch
· 3 min — #Rust#cryptography#zero-knowledge#chaum-pedersen#ecc#curve25519#security#portfolio
Post-Quantum Cryptography for Industrial IoT with Rust
· 2 min — #post-quantum#rust#iiot#cryptography#no_std#embedded
PQC for Blockchain Signatures: Wallet UX, Size, and Verification Cost
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Quantum-Safe Secure Boot: Firmware Roots and PQ Signatures
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Hybrid Key Management: Rotations Across Algorithm Families
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Quantum Threat Modeling for Infrastructure: What Changes, What Doesn’t
· 3 min — #research-notes#post-quantum-cryptography#security-critical-infrastructure#protocol-design#cryptography
Compliance & Standards: Translating NIST to Engineering Action
· 3 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
Migration Risk Management: Inventory, Prioritization, and Cutover
· 4 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
Side Channels in PQC Implementations: Where Theory Meets Cache
· 3 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
Benchmarking PQC: What to Measure (and What Not To)
· 4 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
Crypto Agility Tooling: Feature Flags, Policy, and Rollback
· 4 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
PQC for IoT: Memory, CPU, and Timing Side Channels
· 3 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
PQC in VPN/IPsec: IKEv2 Revisited Under PQ Constraints
· 3 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
PQC in TLS: Negotiation, Downgrade, and Interop
· 4 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
Hybrid Key Exchange: Binding Classical and PQ Secrets Correctly
· 3 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
Signatures in Practice: Dilithium/Falcon and Deployment Constraints
· 4 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
KEMs in Practice: Kyber Handshakes and Failure Surfaces
· 4 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
PQC Threat Models: 'Harvest Now, Decrypt Later' in Real Systems
· 4 min — #research-notes#post-quantum-cryptography#cryptography#security#protocol-design
Validator Ops: Key Security, Slashing, and Fault Containment
· 3 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Rust Node Architecture: Storage, Networking, and Deterministic Execution
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Formalizing a Blockchain Protocol: Properties Worth Proving
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
ZK in Protocols: Proof Systems as Network Primitives
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Bridges: Where Trust Comes Back to Collect
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Fee Markets and MEV: Incentives as an Adversary
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
State Commitments: Merkle, Verkle, and Proof Sizes
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Light Clients: Trust Minimization Without Full Replication
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Finality and Reorgs: What Users Think vs What Protocols Provide
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Gossip Networks: Propagation, Eclipse Attacks, and Topology
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Mempool Design Under Adversarial Load: Admission, Fees, and Spam
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
The Ledger as a State Machine: Execution, Determinism, and Reproducibility
· 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust
Incident Response for Crypto Systems: Key Compromise Playbooks
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
KMS/HSM Threat Models: When 'Managed' Doesn't Mean 'Safe'
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
Multi-Tenant Isolation: Crypto Boundaries vs Kernel Boundaries
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
Cryptographic Agility: Designing for the Algorithm You Haven't Met Yet
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
Logging for Forensics: Tamper Evident Event Pipelines
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
TLS Beyond Defaults: Ciphersuites, ALPN, and Operational Reality
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
Secure Firmware Updates: Signed Manifests and Rollback Protection
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
Side Channels: Constant-Time, Cache Attacks, and Real Threat Models
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
Hardware Roots of Trust: TPM, Secure Boot, and Attestation
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
Secrets vs Capabilities: Token Design in Microservices
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
Key Management at Scale: Rotation, Audit, and Blast Radius
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps
PKI as an Operating System: Certificates, Policies, and Expiration
· 4 min — #research-notes#cryptography#security#security-critical-infrastructure#DevSecOps