A Framework for the Security and Privacy of Biometric System Constructions under Defined Computational Assumptions

2024/11/26 by Sam Grierson, Grierson, Sam, William J. Buchanan +7
Computer Science · #Biometric Identification and Security #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data

paper · pdf · doi:10.48550/arxiv.2411.17321

openalex publication_date 2024/11/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Biometric systems, while offering convenient authentication, often fall short in providing rigorous security assurances. A primary reason is the ad-hoc design of protocols and components, which hinders the establishment of comprehensive security proofs. This paper introduces a formal framework for constructing secure and privacy-preserving biometric systems. By leveraging the principles of universal composability, we enable the modular analysis and verification of individual system components. This approach allows us to derive strong security and privacy properties for the entire system, grounded in well-defined computational assumptions.

Related

• Biometric Systems Private by Design: Reasoning about privacy properties\n of biometric system architectures
• A Theoretical Analysis of Authentication, Privacy and Reusability Across Secure Biometric Systems
• PassBio: Privacy-Preserving User-Centric Biometric Authentication
• Biometric Verification Secure Against Malicious Adversaries
• Privacy-Preserving Biometric Matching Using Homomorphic Encryption