|
|
|
|
|
|
by some_furry
1257 days ago
|
|
|
One of the key takeaways here that I think might be under-emphasized (although Kenny Paterson did say as much): Even if you use good cryptographic building blocks, and good libraries that implement the building blocks, you can still make horrible mistakes with protocol design. The best mechanism we have for preventing weak cryptographic protocols is to use formal methods (proofs, checked by a computer). https://twitter.com/kennyog/status/1612337097247002624 |
|
|