[Cryptography] How to De-Bollocks Cryptography?

[Kent Borg]

On 8/12/24 20:52, Phillip Hallam-Baker wrote:
> My cure for complexity is to force people to learn formal methods and 
> write some proofs. I don't think the proofs have much value in 
> ensuring bug free systems, too much opportunity for error in the 
> requirements, but the pedagogical exercise sure does teach you to be 
> lean and mean in design.

Excellent.

There is a larger lesson in that strategy.

-kb, the Kent who will need to think more about about how it generalizes.