Sometimes the real value of security proofs, in my personal experience, is just that they force protocol designers to look at their work from a totally different angle.
-
-
Prikaži ovu nit
-
Anyway, Koblitz and Menezes point some of this out in their work (above) but then they worry that outsiders might take “security proof” to mean something it doesn’t. I worry that outsiders might misunderstand the implicit “be skeptical of security proofs” message the same way.
Prikaži ovu nit -
Or to steal from Asimov: it’s not so much that I have confidence in provably-secure protocols being secure, but that I have so much in unproven protocols being broken.
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
-
-
The discussion of automated proofs in that draft was ... disappointing, but consistent with other documents that feature similar quantities of axe-grinding.
-
I also thought that an interesting aspect of that paper, which the authors don't remark on, is that the need to prove things when they all fundamentally rely on unproven conjectures (hash functions are one way! factoring is hard!) makes things trickier.
- Još 8 drugih odgovora
Novi razgovor -
-
-
Wrong proofs are also often fixed and the process overall helps our understanding. Discarding provable security just because humans make mistakes misses the point in so many ways. This of course doesn’t mean there are no valid points to raise.
-
I think part of the point of this paper series is that you have to weigh the chances of a fatal flaw in an unproven protocol vs in a more complex provably secure one; both chances are non-trivial
- Još 6 drugih odgovora
Novi razgovor -
-
-
I have less faith than you do in "verified by humans", I'd rather write "possibly verifiable by humans"
-
Lightly skimmed by humans. (Amount of skimming being inversely proportional to the number of UC functionalities included in the paper.)
- Još 7 drugih odgovora
Novi razgovor -
-
-
I once read that 25% of all mathematical proofs have errors. I mentioned that to my advisor, who really believed in proving code. "Sure—but far more than 25% of programs have bugs."
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.