4 ms·
For anyone that thought this doesn't feel comprehensive the Prior Work sections covers why - "The WireGuard handshake protocol has undergone rigorous formal ve
by blinkingled 8y ago
For anyone that thought this doesn't feel comprehensive the Prior Work sections covers why -
"The WireGuard handshake protocol has undergone rigorous formal verification of desired properties using the Tamarin proof system [2]. Many of the cryptographic primitive implementations have also been formally verified as correct. The remaining implementations have been carefully fuzzed against the verified implementations to ensure correctness."
So all put together the simplicity goal really paid off for WireGuard.
- browsercoin 8y agoLess code = Less surface area for attack?
- pizzazzaro 8y agoPlease remove your question mark?
- solarkraft 8y agoPlease just say 'correct'.
- MertsA 8y agoNot just that, less code (and simple code) = much easier to prove that the code is correct.