Safe Documents (SafeDocs)

Abstract

The Safe Documents (SafeDocs) program developed software technologies that constrain syntactic complexity in data exchange formats and improve the capability to reject invalid and maliciously crafted data in electronic documents and streaming data. The high complexity and unmanaged evolution of electronic document formats and streaming data protocols greatly increase the computational attack surface. The SafeDocs program rationalized existing data exchange formats significant to the defense mission with attention to compatibility, and advanced the state of the art in the security of document and data format parsers. SafeDocs advances enable automated code verification, assure that the conditions of data validity are enforced, and secure documents and streaming data.

Document Details

Document Type
Accomplishment
Publication Date
Oct 01, 2025
Source ID
6b94b6cd9a6e2af6372f9e744d2d8c36

Tags

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Cybersecurity.

Technology Areas

  • Microelectronics

Related Documents