[langsec-discuss] proven-correct parsers

Matthew Wilson diakopter at gmail.com
Wed Jun 1 20:25:46 UTC 2016


Here's the paper..

https://people.csail.mit.edu/jgross/personal-website/papers/2015-jgross-thesis.pdf

On Wed, Jun 1, 2016 at 10:39 AM, Matthew Wilson <diakopter at gmail.com> wrote:
> Isn't the proper solution to faulty parsers to create provably correct ones?
>
> https://github.com/JasonGross/parsing-parses
>
>
>
> --
> Sent by an Internet



-- 
Sent by an Internet


More information about the langsec-discuss mailing list