Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a comprehensive analysis of PDF tool conformity to specifications in this 41-minute conference talk from nullcon. Delve into the subtle deviations of PDF tools from the established standard since the 1990s. Discover a novel type checker that strictly enforces PDF specification constraints and learn about SPARTA, an innovative tool generating Rust code for PDF file type checking. Examine the impact of this research, including contributions to the PDF 2.0 specification and open-source PDF tools. Gain insights into PDFFixer, a practical tool designed to dynamically patch type errors in PDF files. Enhance your understanding of PDF technology, information security, and the importance of adherence to specifications in software development.