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 …
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 ;))
-
Yeah, I would *love* to see more work on formally checked assembly programming tools. It's a niche area, but an extremely valuable one.
- 3 more 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.