Your language may be "safe" and you may pass test vectors but reimplementing crypto is *still* a bad idea.https://twitter.com/daniel_bilar/status/946034680062730240 …
-
To be fair, asm isn't safe. They wrote sketchy asm to go with a semi-safe language.
-
-
True, but the HLL implementation likely had more scrutiny (& readability), opportunity to use verification tools/formal methods, etc...
-
Actually, formally verifying assembler is a *lot* easier than a HLL, especially if you don't make the assumption that the HLL compiler/runtime are perfect (which is a terrible assumption, see my recent blog post ;))
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.