Thibaud Antignac

19 papers C 2Misc 2Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2023 C conf
Context Specification Language for Formally Verifying Consent Properties on Models and Code.
TAP
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles
2022 — conf
A New Generic Representation for Modeling Privacy.
EuroS&P Workshops
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles
2019 — conf
GDPR Modelling for Log-Based Compliance Checking.
IFIPTM
Colombe de Montety, Thibaud Antignac, Christophe Slim
2018 J jnl
Monitoring Data Minimisation.
CoRR
Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider
2018 — conf
Privacy Compliance Via Model Transformations.
EuroS&P Workshops
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
2017 Misc conf
Data Minimisation: A Language-Based Approach.
SEC
Thibaud Antignac, David Sands, Gerardo Schneider
2017 Misc conf
Specification, design, and verification of an accountability-aware surveillance protocol.
SAC
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
2016 — conf
A Privacy-Aware Conceptual Model for Handling Personal Data.
ISoLA (1)
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
2016 J jnl
Data Minimisation: a Language-Based Approach (Long Version).
CoRR
Thibaud Antignac, David Sands, Gerardo Schneider
2016 C conf
Sampling and partitioning for differential privacy.
PST
Hamid Ebadi, Thibaud Antignac, David Sands
2015 — —
Méthodes formelles pour le respect de la vie privée par construction. (Formal methods for privacy by design).
Thibaud Antignac
2015 — conf
PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology.
IEEE Symposium on Security and Privacy Workshops
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
2015 J jnl
Privacy by Design: On the Conformance Between Protocols and Architectures.
CoRR
Vinh-Thong Ta, Thibaud Antignac
2015 — conf
Trust Driven Strategies for Privacy by Design.
IFIPTM
Thibaud Antignac, Daniel Le Métayer
2014 J jnl
Privacy Architectures: Reasoning About Data Minimisation and Integrity.
CoRR
Thibaud Antignac, Daniel Le Métayer
2014 — conf
Privacy Architectures: Reasoning about Data Minimisation and Integrity.
STM
Thibaud Antignac, Daniel Le Métayer
2014 J jnl
Privacy by Design: From Technologies to Architectures (Position Paper).
CoRR
Thibaud Antignac, Daniel Le Métayer
2014 — conf
Privacy by Design: From Technologies to Architectures - (Position Paper).
APF
Thibaud Antignac, Daniel Le Métayer
2014 — conf
Privacy by Design: On the Conformance Between Protocols and Architectures.
FPS
Vinh-Thong Ta, Thibaud Antignac