#distributed-systemsView all tags

• Hybrid Schemes and Protocol Agility

  April 16, 2026 · 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)

  April 8, 2026 · 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

  April 1, 2026 · 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

  March 28, 2026 · 13 min — #research-notes#distributed-systems#consensus#BFT#formal-methods#cryptography#Rust#security

• Secure Distributed Storage: Erasure Coding Under Adversaries

  March 1, 2026 · 3 min — #research-notes#distributed-systems#cryptography#formal-methods#security

• Verifiable Computation as Infrastructure: Proof Systems at Scale

  February 1, 2026 · 3 min — #research-notes#distributed-systems#cryptography#formal-methods#security

• Composable Security: Where Proofs Break in Real Systems

  January 1, 2026 · 3 min — #research-notes#distributed-systems#cryptography#formal-methods#security

• Post-Quantum Readiness at the Edge: Constraints and Migration

  December 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Anomaly Detection: What 'Baseline' Means in Industrial Systems

  November 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Secure Remote Access: Bastions, Just-in-Time, and Audit

  October 1, 2021 · 3 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Offline-First Edge: Consistency During Intermittent Connectivity

  September 1, 2021 · 3 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Safety-Critical vs Security-Critical: Integrating Two Worlds

  August 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Gateway Architecture: Protocol Translation Without Becoming a Bottleneck

  July 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Time-Series at Scale: Ingestion, Downsampling, and Query Isolation

  June 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Zero Trust for IIoT: Network Segmentation and Policy Enforcement

  May 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Firmware Update Pipelines: Rollouts, Canary, and Recovery

  April 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Edge-to-Cloud Messaging: MQTT, OPC UA, and Threat Models

  March 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Secure Telemetry: Integrity, Nonce Discipline, and Replay Protection

  February 1, 2021 · 3 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Device Identity: Provisioning, Attestation, and Lifecycle

  January 1, 2021 · 4 min — #research-notes#IIoT#security-critical-infrastructure#distributed-systems#DevSecOps

• Validator Ops: Key Security, Slashing, and Fault Containment

  December 1, 2019 · 3 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• Rust Node Architecture: Storage, Networking, and Deterministic Execution

  November 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• Formalizing a Blockchain Protocol: Properties Worth Proving

  October 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• ZK in Protocols: Proof Systems as Network Primitives

  September 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• Bridges: Where Trust Comes Back to Collect

  August 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• Fee Markets and MEV: Incentives as an Adversary

  July 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• State Commitments: Merkle, Verkle, and Proof Sizes

  June 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• Light Clients: Trust Minimization Without Full Replication

  May 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• Finality and Reorgs: What Users Think vs What Protocols Provide

  April 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• Gossip Networks: Propagation, Eclipse Attacks, and Topology

  March 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• Mempool Design Under Adversarial Load: Admission, Fees, and Spam

  February 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• The Ledger as a State Machine: Execution, Determinism, and Reproducibility

  January 1, 2019 · 4 min — #research-notes#blockchain-protocols#distributed-systems#cryptography#Rust

• A Minimal TLA+ Workflow for Distributed Protocols

  December 1, 2017 · 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Designing for Network Partitions: Degraded Modes That Still Make Sense

  November 1, 2017 · 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Rate Limiting and Fairness: Protecting Critical Paths

  October 1, 2017 · 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Queues & Streams: Exactly-Once Semantics Without Lying to Yourself

  September 1, 2017 · 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Geo-Replication: Latency Budgets and Cross-Region Failure Modes

  August 1, 2017 · 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Gossip & Epidemic Dissemination: Fast, Probabilistic, and Weird

  July 1, 2017 · 3 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Transactions: 2PC, 3PC, and Coordinators You Can't Trust

  June 1, 2017 · 3 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Consistency Models: Linearizability, Serializability, and What You Actually Need

  May 1, 2017 · 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Membership & Reconfiguration: Changing the Set Without Breaking Safety

  April 1, 2017 · 3 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• BFT from First Principles: Safety, Liveness, and Quorums

  March 1, 2017 · 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• Consensus Under Partial Synchrony: From Paxos to Raft

  February 1, 2017 · 4 min — #research-notes#distributed-systems#protocol-design#resilience#Rust

• State Machine Replication: Log Design, Snapshots, and Compaction

  January 1, 2017 · 3 min — #research-notes#distributed-systems#protocol-design#resilience#Rust