Thibaud Antignac
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2015–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TAP | Context Specification Language for Formally Verifying Consent Properties on Models and Code. | Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles |
| 2017 | SAC | Specification, design, and verification of an accountability-aware surveillance protocol. | Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider |
| 2017 | SEC | Data Minimisation: A Language-Based Approach. | Thibaud Antignac, David Sands, Gerardo Schneider |
| 2016 | ISoLA | A Privacy-Aware Conceptual Model for Handling Personal Data. | Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider |
| 2016 | PST | Sampling and partitioning for differential privacy. | Hamid Ebadi, Thibaud Antignac, David Sands |
| 2015 | SP | PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology. | Nicols Notario, Alberto Crespo, Yod Samuel Martn, Jos M. del lamo, Daniel Le Mtayer, Thibaud Antignac, Antonio Kung, Inga Kroener, David Wright |