The pitfalls of protocol design. Attempting to write a formally verified PDF parser. - discu.eu

Reddit

The pitfalls of protocol design. Attempting to write a formally verified PDF parser. http://www.ieee-security.org/tc/spw2014/papers/5103a198.pdf 9 comments 24/9/2014 compsci

Linking pages

Two New Tools that Tame the Treachery of Files | Trail of Bits Blog https://blog.trailofbits.com/2019/11/01/two-new-tools-that-tame-the-treachery-of-files/ 0 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:www.ieee-security.org

Search title: The pitfalls of protocol design. Attempting to write a formally verified PDF parser.

See how to search.

Submit link to: