1. 19
    EverParse: Hardening critical attack surfaces with formally proven message parsers ml security microsoft.com
    lojikil avatar via lojikil 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  1. 2
    Sophistifunk avatar Sophistifunk 2 years ago | link

    See also Google’s “secure by construction” parsers that compile to C: https://github.com/google/wuffs