* Steve Klabnik: > Bugs with crypto don't often happen because of poorly implemented > primitives: they happen when you combine those primitives in bad ways. > Formal analysis doesn't help there.
That's exactly where formal analysis does help. However, real-world protocols are quite difficult to model, and programmers expect interfaces which make parts of the application part of the model. _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
