News for hackers. Stuff that matters.

A comment on Security Chasms of WASM [pdf]. Parent comment

Re:Security Chasms of WASM [pdf] by posterboy on Saturday August 25, 2018 @06:28AM (#17840316)
> IIRC seL4 had a couple bugs where the code _and_ the formal model both got it wrong in the same way, and it therefore passed the proof.

I haven't heard this one yet. How did they find it, then?

[ Parent | on HN ]

There are no comments on this comment yet.