[Cryptography] Formal Verification (was Re: Trust & randomness in computer systems)

[Ray Dillinger]

On 03/18/2016 01:24 PM, Viktor Dukhovni wrote:
> On Fri, Mar 18, 2016 at 11:45:59AM -0700, Ray Dillinger wrote:

>> It does not matter because the specification itself
>> contained a bug.
> 
> There was no bug.  Just verification of a part of a system.  A
> verified wheel on a car does not prevent fatal accidents, but that's
> not a bug a formal verification of wheels.

You're right.  My point was that it is a bug in the formal specification
of cars.  And it's cars whose correctness people rely on.

				Bear



-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20160319/32de20d2/attachment.sig>