2 ms·
Proving the security of cryptographic protocols is a counterexample to this. Sometimes basic assumptions are very difficult to catch.
by theoh 11y ago
Proving the security of cryptographic protocols is a counterexample to this. Sometimes basic assumptions are very difficult to catch.