[HTML][HTML] Maintaining interoperability in open source software: A case study of the Apache PDFBox project

S Butler, J Gamalielsson, B Lundell, C Brax… - Journal of Systems and …, 2020 - Elsevier
Software interoperability is commonly achieved through the implementation of standards for
communication protocols or data representation formats. Standards documents are often …

Breaking the specification: PDF certification

S Rohlmann, V Mladenov, C Mainka… - 2021 IEEE Symposium …, 2021 - ieeexplore.ieee.org
The Portable Document Format (PDF) is the de-facto standard for document exchange. The
PDF specification defines two different types of digital signatures to guarantee the …

Every Signature is Broken: On the Insecurity of Microsoft {Office's}{OOXML} Signatures

S Rohlmann, V Mladenov, C Mainka… - 32nd USENIX Security …, 2023 - usenix.org
Microsoft Office is one of the most widely used applications for office documents. For
documents of prime importance, such as contracts and invoices, the content can be signed …

[PDF][PDF] Shadow Attacks: Hiding and Replacing Content in Signed PDFs.

C Mainka, V Mladenov, S Rohlmann - NDSS, 2021 - pdf-insecurity.org
Digitally signed PDFs are used in contracts and invoices to guarantee the authenticity and
integrity of their content. A user opening a signed PDF expects to see a warning in case of …

Oops... Code Execution and Content Spoofing: The First Comprehensive Analysis of {OpenDocument} Signatures

S Rohlmann, C Mainka, V Mladenov… - 31st USENIX Security …, 2022 - usenix.org
OpenDocument is one of the major standards for interoperable office documents. Supported
by office suites like Apache OpenOffice, LibreOffice, and Microsoft Office, the …

DISV: Domain Independent Semantic Validation of Data Files

A Kumar, B Harris, G Tan - 2023 IEEE Security and Privacy …, 2023 - ieeexplore.ieee.org
Data format specification languages such as PDF or HTML have been used extensively for
exchanging structured data over the internet. While receivers of data files (eg, PDF viewers …

Strengthening Weak Links in the PDF Trust Chain

M Tullsen, W Harris, P Wyatt - 2022 IEEE Security and Privacy …, 2022 - ieeexplore.ieee.org
In many practical and security-critical formats, the interpretation of a document segment as a
Document Object Model (DOM) graph depends on a concept of reference and complex …

Harnessing Lightweight Ciphers for PDF Encryption

A Chauhan, D Verma - arXiv preprint arXiv:2409.09428, 2024 - arxiv.org
Portable Document Format (PDF) is a file format which is used worldwide as de-facto
standard for exchanging documents. In fact this document that you are currently reading has …

VIMz: Verifiable image manipulation using folding-based zkSNARKs

S Dziembowski, S Ebrahimi… - Cryptology ePrint …, 2024 - eprint.iacr.org
With the rise of generative AI technology, the media's credibility as a source of truth has
been significantly compromised. This highlights the need to verify the authenticity of media …

Modeling the dielectric constant of silicon-based nanocomposites using machine learning

SA Korchagin, YV Klinaev, DV Terin… - … on Actual Problems …, 2020 - ieeexplore.ieee.org
In this work, we solve the problem of predicting the dielectric constant of silicon-based
nanocomposites using machine learning methods. Mathematical models and programs …