Jump to content
Jud

OT: Does this tweet/article about crypto claim too much?

Rate this topic

Recommended Posts

 


One never knows, do one? - Fats Waller

The fairest thing we can experience is the mysterious. It is the fundamental emotion which stands at the cradle of true art and true science. - Einstein

Computer, A+ -> microRendu -> USPCB -> ISO Regen (powered by LPS-1) -> Ghent JSSG360 USB cable -> Pro-Ject Pre Box S2 DAC ->

Spectral DMC-12 & DMA-150 -> Vandersteen 3A Signature.

Share this post


Link to post
Share on other sites
1 hour ago, mansr said:

The work they've done is most likely good. It's the reporting that's overblown. Near as I can tell, the project involves formal verification techniques to ensure that the software implementation is actually equivalent to the specification. To a limited extent, this can even extend to compiled code. While it indisputably avoids certain kinds of bugs (e.g. accidentally referring to the wrong variable), it provides no guarantees that the specification is sound. If they've found a way to prove that a crypto algorithm is secure, I'll be impressed, and even then there are still places where bugs can be hiding. The verifier itself comes to mind, as does the hardware.

 

I think I recall NASA doing something similar (regarding formal verification, including compiled code).

 

What was the email program that had a bounty for security holes, and it was at least disputed whether some had been found and the developer had refused to acknowledge/pay?


One never knows, do one? - Fats Waller

The fairest thing we can experience is the mysterious. It is the fundamental emotion which stands at the cradle of true art and true science. - Einstein

Computer, A+ -> microRendu -> USPCB -> ISO Regen (powered by LPS-1) -> Ghent JSSG360 USB cable -> Pro-Ject Pre Box S2 DAC ->

Spectral DMC-12 & DMA-150 -> Vandersteen 3A Signature.

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

×
×
  • Create New...