Notes

Posts

1. 2026-04-26 · ~6 min read

   Why ICS PQC migration is 10× harder than TLS migration →

   TLS migration is software with a fast feedback loop. ICS migration is hardware procurement on a 20-year clock. Five concrete reasons.

2. 2026-04-25 · ~6 min read

   Why every big quantum-advantage claim eventually deflates →

   A reading guide for the next quantum supremacy headline. The pattern repeats: claim, classical follow-up, retraction.

3. 2026-02-14 · ~6 min read

   How cognitive radio networks are solving the spectrum crisis →

   The radio learns. Deep RL controllers under partial observability are the right primitive for 6G spectrum sharing.

4. 2026-02-07 · ~6 min read

   Why lattice-based cryptography is replacing RSA forever →

   Lattice problems resist Shor and quantum search. ML-KEM, ML-DSA, and Falcon are the survivors of NIST PQC.

5. 2026-01-31 · ~6 min read

   When quantum computing meets your smart home →

   Your smart bulb might outlive RSA. Why constrained-device PQC matters now, not in 2030.

6. 2026-01-24 · ~6 min read

   How AI makes decisions when it cannot see everything →

   POMDPs, belief states, and why partial observability is the default in real-world cyber-physical systems.

7. 2026-01-17 · ~6 min read

   5G was just the beginning, what 6G security really looks like →

   6G is not a faster 5G. Cognitive radio, ISAC, terahertz, and PQC reshape the threat model.

8. 2026-01-11 · ~6 min read

   Bitcoin vs quantum computers, the cryptographic arms race →

   Reused-address Bitcoin is harvest-now-sign-later vulnerable. The fork to PQC signatures is the work that has to happen.

9. 2026-01-09 · ~6 min read

   Why edge databases need a completely different architecture →

   B-tree assumptions break on the edge. LSM-trees absorb writes sequentially and survive power loss for free.

10. 2026-01-03 · ~6 min read

    The IoT protocol running your smart city, that you have never heard of →

    oneM2M is the standardised middleware most smart cities run on. Vendor neutrality is the value.

11. 2025-12-28 · ~6 min read

    How do we prove self-driving cars are safe, the verification challenge →

    11 billion miles is impossible. Multi-formalism verification composes proofs, simulation, and field data into one safety case.

Upcoming topic backlog

1. Why most ICS PQC migration plans assume a CRQC arrives in 2030, and why 2027 is more realistic
2. The HSM problem nobody talks about: Kyber on a smartcard
3. Reading a quantum-advantage claim like a peer reviewer: a checklist
4. What ZZFeatureMap actually buys you over RBF kernels, measured on ibm_fez
5. Why the SCADA migration is 10× harder than the TLS migration
6. PQ-EDHOC: what changed in the IETF LAKE working group this quarter
7. 6G spectrum efficiency under partial observability, the part you don't read about
8. Three papers I rejected this month and one I would have accepted with revisions
9. The Chicago quantum ecosystem from the security side
10. What an honest threat model for harvest-now-decrypt-later looks like

Subscribe

For journalists

If a topic above lines up with a story you're chasing, see the press kit for ready-to-quote paragraphs and direct contact.