News for hackers. Stuff that matters.

A comment on Researchers: Last Year’s ICOs Had Five Security Vulnerabilities on Average. Parent comment

Re:Researchers: Last Year’s ICOs Had Five Security Vulnerabi... by darawk on Tuesday June 26, 2018 @07:46PM (#17404791)
Sure, but in certain languages you can reason formally about them, and prove properties of them. It's not completely perfect, but particularly for relatively simple models you can get pretty high confidence in correctness, at least, up to certain invariance assumptions.
[ Parent | on HN ]
Re:Researchers: Last Year’s ICOs Had Five Security Vulnerabi... by WalterBright on Wednesday June 27, 2018 @01:40AM (#17406011)
Proofs have bugs in them, too. Would you bet your life on them? Algorithms are also based on a model of reality. The models are usually wrong, too.
[ Parent | on HN ]
Re:Researchers: Last Year’s ICOs Had Five Security Vulnerabi... by darawk on Wednesday June 27, 2018 @03:20PM (#17410974)
You bet your life on them all the time. Every time you cross a bridge. Medical devices rely on algorithms. The standard of evidence you're requesting here is unreasonable, and not applied in any other domain.
[ Parent | on HN ]