Thibaud Antignac

According to our database, Thibaud Antignac authored at least 16 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Context Specification Language for Formally Verifying Consent Properties on Models and Code.

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles

Proceedings of the Tests and Proofs - 17th International Conference, 2023

2022

A New Generic Representation for Modeling Privacy.

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles

Proceedings of the IEEE European Symposium on Security and Privacy, 2022

2019

GDPR Modelling for Log-Based Compliance Checking.

Colombe de Montety, Thibaud Antignac, Christophe Slim

Proceedings of the Trust Management XIII - 13th IFIP WG 11.11 International Conference, 2019

2018

Monitoring Data Minimisation.

Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider

CoRR, 2018

Privacy Compliance Via Model Transformations.

Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

2017

Data Minimisation: A Language-Based Approach.

Thibaud Antignac, David Sands, Gerardo Schneider

Proceedings of the ICT Systems Security and Privacy Protection, 2017

Specification, design, and verification of an accountability-aware surveillance protocol.

Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider

Proceedings of the Symposium on Applied Computing, 2017

2016

Data Minimisation: a Language-Based Approach (Long Version).

Thibaud Antignac, David Sands, Gerardo Schneider

CoRR, 2016

Sampling and partitioning for differential privacy.

Hamid Ebadi, Thibaud Antignac, David Sands

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

A Privacy-Aware Conceptual Model for Handling Personal Data.

Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

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

Thibaud Antignac

PhD thesis, 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

Proceedings of the 2015 IEEE Symposium on Security and Privacy Workshops, 2015

Trust Driven Strategies for Privacy by Design.

Thibaud Antignac, Daniel Le Métayer

Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

2014

Privacy Architectures: Reasoning about Data Minimisation and Integrity.

Thibaud Antignac, Daniel Le Métayer

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

Privacy by Design: On the Conformance Between Protocols and Architectures.

Vinh-Thong Ta, Thibaud Antignac

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

Privacy by Design: From Technologies to Architectures - (Position Paper).

Thibaud Antignac, Daniel Le Métayer

Proceedings of the Privacy Technologies and Policy - Second Annual Privacy Forum, 2014