A Security Framework for Chemical Functions
cs.CR
Submitted: 2026-01-20
Updated: 2026-09-14
Journal ref: IEEE Transactions on Molecular, Biological, and Multi-Scale Communications 2026
DOI: 10.1109/TMBMC.2026.3732978
License: http://creativecommons.org/licenses/by/4.0/
The gist: In this paper, we provide a unified security framework with the goal of being able to evaluate and compare different (known and new) approaches for authentication and encryption using, for example,
Terminology
Abstract
In this paper, we provide a unified security framework with the goal of being able to evaluate and compare different (known and new) approaches for authentication and encryption using, for example, DNA-based schemes. Therefore, we introduce and rigorously define chemical functions which model chemical systems as noisy challenge--response primitives, and formalize the associated chemical function infrastructure. Building on the theory of physical functions, we rigorously define robustness, unclonability, and unpredictability for chemical functions in both finite and asymptotic regimes, and specify security games that capture the adversary's power and the security goals. We instantiate the framework with the data from two existing DNA-based constructions ("operable random DNA" and "Genomic Sequence Encryption") and derive quantitative bounds for robustness, unclonability, and unpredictability. These results place DNA-based chemical functions on a rigorous cryptographic footing, enabling principled design and comparison of chemically grounded authentication mechanisms. We demonstrate applications to in-product authentication and to shared key generation using standard extraction techniques, showing the significance of this work regarding real-world applications.
Related papers
- SoK: AI-Augmented Binary Reversing
- Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
- Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
- Efficient Fuzzy PSI under One-Sided Assumptions
- Sealing the Audit-Runtime Gap for LLM Skills
- Token Composition: A Graph Based on EVM Logs