Caradoc - A Pragmatic Approach to PDF Parsing and Validation

Explore a pragmatic approach to PDF parsing and validation in this IEEE conference talk. Delve into the structural aspects of the PDF format, examining potential security issues and rendering inconsistencies among readers. Learn about a proposed solution that restricts syntax to avoid common errors and introduces a formal grammar. Discover how data consistency can be validated using a dedicated type checker. Assess the practicality of this approach through real-world file analysis. Gain insights into implementation, testing, and normalization techniques for PDF processing.

Syllabus

Introduction
What is PDF
Outline
File Level
Table of Contents
Linked List
Demo with previous version
Syntax
Semantic Consistency
Example
Type checking
Document structure
Realworld files
Implementation
Testing
Normalizing
Toolchain
Summary
Questions