As previously described here and here, the PDF Association is actively involved in the DARPA-funded “SafeDocs” fundamental research program. This program aims to expand the principles of language-theoretic security (or “LangSec”) to research and develop novel parser methodologies for provably ensuring safety in digital content. Each year the IEEE Symposium on Security & Privacy hosts a LangSec workshop as a dedicated forum for reporting and discussing advances from across the LangSec community.
This year's Seventh LangSec IEEE S&P Workshop (May 27-28 2021) includes a number of presentations resulting from SafeDocs research that relate directly to PDF technology:
Abstracts for all LangSec 2021 papers are available from the LangSec 2021 Workshop Papers & Slides web page, with many papers also available for free download. Slide decks and videos will be added soon.
This year’s LangSec Workshop will again be a virtual two-day event and is now open for anyone to register and attend. If you want to understand some of these leading-edge advances towards provably securing PDF, then please consider attending.
This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) under Contract No. HR001119C0079. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Defense Advanced Research Projects Agency (DARPA). Approved for public release.
Peter Wyatt is the PDF Association’s CTO and an independent technology consultant with deep file format and parsing expertise, who is a developer and researcher actively working on PDF technologies for more than 20 years. He is Project co-Leader of ISO 32000 (the core PDF standard), co-Chairs the PDF Association PDF TWG and is the PDF Association’s Principal Scientist leading …