Privacy by Design: From Technologies to Architectures - (Position Paper). - Thibaud Antignac; Daniel Le Métayer (APF, 2014)

Privacy by Design: On the Conformance Between Protocols and Architectures. - Vinh-Thong Ta 001; Thibaud Antignac (FPS, 2014)

Privacy Architectures: Reasoning about Data Minimisation and Integrity. - Thibaud Antignac; Daniel Le Métayer (STM, 2014)

Trust Driven Strategies for Privacy by Design. - Thibaud Antignac; Daniel Le Métayer (IFIPTM, 2015)

PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology. - Nicolás Notario; Alberto Crespo; Yod Samuel Martín; José M. del Álamo; Daniel Le Métayer; Thibaud Antignac; Antonio Kung; Inga Kroener; David Wright 003 (IEEE Symposium on Security and Privacy Workshops, 2015)

Méthodes formelles pour le respect de la vie privée par construction. (Formal methods for privacy by design). - Thibaud Antignac (2015)

A Privacy-Aware Conceptual Model for Handling Personal Data. - Thibaud Antignac; Riccardo Scandariato; Gerardo Schneider (ISoLA (1), 2016)

Sampling and partitioning for differential privacy. - Hamid Ebadi; Thibaud Antignac; David Sands 001 (PST, 2016)

Data Minimisation: a Language-Based Approach (Long Version). - Thibaud Antignac; David Sands 001; Gerardo Schneider (CoRR, 2016)

Specification, design, and verification of an accountability-aware surveillance protocol. - Thibaud Antignac; Mukelabai Mukelabai; Gerardo Schneider (SAC, 2017)

Data Minimisation: A Language-Based Approach. - Thibaud Antignac; David Sands 001; Gerardo Schneider (SEC, 2017)

Privacy Compliance Via Model Transformations. - Thibaud Antignac; Riccardo Scandariato; Gerardo Schneider (EuroS&P Workshops, 2018)

Monitoring Data Minimisation. - Srinivas Pinisetty; Thibaud Antignac; David Sands 001; Gerardo Schneider (CoRR, 2018)

GDPR Modelling for Log-Based Compliance Checking. - Colombe de Montety; Thibaud Antignac; Christophe Slim (IFIPTM, 2019)

A New Generic Representation for Modeling Privacy. - Myriam Clouet; Thibaud Antignac; Mathilde Arnaud; Gabriel Pedroza; Julien Signoles (EuroS&P Workshops, 2022)

Context Specification Language for Formally Verifying Consent Properties on Models and Code. - Myriam Clouet; Thibaud Antignac; Mathilde Arnaud; Julien Signoles (TAP, 2023)