Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer: Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage. ISC 2015: 493-510