3 ms·

Actually not such a crazy idea! There are always parts of verified implementations that aren't verified. And who knows, maybe they got some of their proofs wron

• munin 11y ago
  it would be really, really interesting if fuzzing found an error in the proof! there isn't a good track record for this though. i've been thinking about what to do to have a chance of success with that for a little.
  • viraptor 11y ago
    I've got a feeling that would be a very common reference point for many future "theoretical or practical security" debates...
    • munin 11y ago
      those debates don't use facts or evidence, so, probably not ;)