1. 14
    Formally Proven Binary Format Parsers pdf formalmethods fstar-lang.org
    azhenley avatar via azhenley 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment

  1.  

  2. 2
    icefox avatar icefox 20 days ago | link

    Now I’m curious to have the results fuzzed and see how well they work in practice.