3 ms·

Next, they should fuzz IronFleet: http://research.microsoft.com/apps/pubs/default.aspx?id=255833 http://research.microsoft.com/apps/pubs/default.aspx?id=2558...

• ikneaddough 11y ago
  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 wrong!
  • 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 ;)