Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Motivated by the need for precise definitions of privacy requirements, foundations for formal reasoning, and tools for justifying privacy-preserving design choices, a recent work introduces a formal model for the description of system architectures and the formal verification of their privacy properties. A subsequent work uses this framework to reason about privacy properties of biometric system architectures. In these studies, the description of an architecture specifies each component, their computations and the communications beten them. This static approach makes it possible to reason about design choices at the very architectural level, leaving aside the implementation details. Although it is important to express privacy properties at this level, this approach fails to catch some leakage which may result from the system runtime. In particular, in the case of biometric systems, known attacks allow to recover some biometric information following a black-box approach, without breaking any part of the system. ,  extend the existing formal model in order to deal with such side-channel attacks and  apply the extended model to analyse biometric information leakage in several variants of a biometric system architecture.
['Julien Bringer', 'Hervé Chabanne', 'Daniel Le Métayer', 'Roch Lescuyer']
I am writing a research paper on a idea Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage
[{"from": "human", "value": "I am writing a research paper on a idea Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Motivated by the need for precise definitions of privacy requirements, foundations for formal reasoning, and tools for justifying privacy-preserving design choices, a recent work introduces a formal model for the description of system architectures and the formal verification of their privacy properties. A subsequent work uses this framework to reason about privacy properties of biometric system architectures. In these studies, the description of an architecture specifies each component, their computations and the communications beten them. This static approach makes it possible to reason about design choices at the very architectural level, leaving aside the implementation details. Although it is important to express privacy properties at this level, this approach fails to catch some leakage which may result from the system runtime. In particular, in the case of biometric systems, known attacks allow to recover some biometric information following a black-box approach, without breaking any part of the system. ,  extend the existing formal model in order to deal with such side-channel attacks and  apply the extended model to analyse biometric information leakage in several variants of a biometric system architecture."}]