Attempting to write a formally verified PDF parser | Lobsters

12

Attempting to write a formally verified PDF parser pdf programming spw14.langsec.org
via pushcx 3 years ago | cached | 1 comment

1

2

jm 3 years ago | link

Also, difficulties showing termination of parsing some features of the PDF format readily translated into denial of service attacks against existing PDF parsers

What a cool way to find attacks.