EverCrypt: Snake oil or a major break-through in Computer Security … Provable safe code?
Published in
3 min readApr 28, 2019
Sometimes it feels like there is very little in the way of a proper foundation in computer security, and where little can actually be truly trusted. We define that RSA is secure for 4K keys, and where our computers would have to boil all the oceans on the planet to crack a single key. But this is hardly a strong mathematical base to build a…