Writing in C
2026-04-27 17:56:10.812751+02 by Dan Lyke 0 comments
Wolf SSL: Why C Remains the Gold Standard for Cryptographic Software. Lots of good stuff in here, including:
Side-channel resistance is difficult in any language.
What is true: as abstractions obscure execution behavior, side-channel properties become harder to reason about and harder to verify at scale. Rust provides tools to mitigate thisbut using them extensively means abandoning most safety abstractions, bringing the problem space back toward C.
The issue is not impossibilityits verifiability without abstraction collapse.