3 ms·
Ages ago my advisor had a paper proving WEP to be correct. Many years later, a serious flaw was discovered. Even formal verification can be insufficient.
by UncleMeat 4y ago
Ages ago my advisor had a paper proving WEP to be correct. Many years later, a serious flaw was discovered.
Even formal verification can be insufficient.
- deterministic 4y agoWas it a proof by hand or using a formal proof tool? Never trust proofs that aren’t formally verified by a modern proof tool.
- UncleMeat 4y agoFormal verification with model checking.
- deterministic 4y agoThat frankly sounds hard to believe. Which proof tool did he use? Link to paper?