Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures
Bringer, Julien; Chabanne, Herve; Metayer, Daniel Le; Lescuyer, Roch;
Subject: Regulation | Formal methods | [ INFO.INFO-CY ] Computer Science [cs]/Computers and Society [cs.CY] | Data protection | Computer Science - Logic in Computer Science | Verification | Biometric systems | Computer Science - Cryptography and Security | Privacy by design
This work aims to show the applicability, and how, of privacy by design approach to biometric systems and the benefit of using formal methods to this end. Starting from a general framework that has been introduced at STM in 2014, that enables to define privacy architect... View more
 Mart´ın Abadi and Ce´dric Fournet. Mobile values, new names, and secure communication. In ACM Symposium on Principles of Programming Languages - POPL'01, pages 104-115. ACM Press, 2001.
 Thibaud Antignac and Daniel Le Me´tayer. Privacy architectures: Reasoning about data minimisation and integrity. In Security and Trust Management - STM'14, volume 8743 of LNCS, pages 17-32. Springer, 2014.
 Thibaud Antignac and Daniel Le Me´tayer. Trust driven strategies for privacy by design. In Trust Management - IFIP-TM'15, volume 454 of IFIP, pages 60-75. Springer, 2015.
 Adam Barth, Anupam Datta, John C. Mitchell, and Helen Nissenbaum. Privacy and contextual integrity: Framework and applications. In IEEE Symposium on Security and Privacy - S&P'06, pages 184-198. IEEE Computer Society, 2006.
 Moritz Y. Becker, Alexander Malkis, and Laurent Bussard. S4P: A generic language for specifying privacy preferences and policies. Technical report, Microsoft Research / IMDEA Software / EMIC, 2010.
 BioPriv. Biometric systems Private by design. French ANR research project ANR12-INSE-0013, 2013. http://www.agence-nationale-recherche.fr/?Project= ANR-12-INSE-0013.
 Marina Blanton and Paolo Gasti. Secure and efficient protocols for iris and fingerprint identification. In European Symposium on Research in Computer Security - ESORICS'11, volume 6879 of LNCS, pages 190-209. Springer, 2011.
 Julien Bringer, Herve´ Chabanne, Malika Izabache`ne, David Pointcheval, Qiang Tang, and Se´bastien Zimmer. An application of the Goldwasser-Micali cryptosystem to biometric authentication. In Australasian Conference on Information Security and Privacy - ACISP'07, volume 4586 of LNCS, pages 96-106. Springer, 2007.
 Julien Bringer, Herve´ Chabanne, Tom A. M. Kevenaar, and Bruno Kindarji. Extending matchon-card to local biometric identification. In Conference on Biometric ID Management and Multimodal Communication, BioID MultiComm'09, volume 5707 of LNCS, pages 178-186. Springer, 2009.
 Julien Bringer, Herve´ Chabanne, Daniel Le Me´tayer, and Roch Lescuyer. Privacy by design in practice: Reasoning about privacy properties of biometric system architectures. In Formal Methods - FM'15, volume 9109 of LNCS, pages 90-107. Springer, 2015.