Peer reviewed conferences and workshops
- Data Minimisation: a Language-Based Approach
Thibaud Antignac, David Sands, Gerardo Schneider
In 32nd IFIP TC 11 International Conference, IFIP-SEC 2017, IFIP AICT, Volume XX, pages XX-XX, Springer, 2017.
- Specification, Design, and Verification of an Accountability-Aware Surveillance Protocol
Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider
In Symposium on Applied Computing - Software Verification and Testing, SAC-SVT 2017, pages XX-XX, ACM, 2017.
- Sampling and Partitioning for Differential Privacy
Hamid Ebadi, Thibaud Antignac, David Sands
In Privacy, Security and Trust, PST 2016, pages XX-XX, IEEE, 2016.
- A Privacy-Aware Conceptual Model for Handling Personal Data
Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider
In Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, LNCS, Volume 9952, pages 942-957, Springer, 2016.
link - Trust Driven Strategies for Privacy by Design
Thibaud Antignac, Daniel Le Métayer
In Trust Management IX, IFIP-TM 2015, IFIP AICT, Volume 454, pages 60-75, Springer, 2015.
link | download - PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology
Nicolás Notario, Alberto Crespo, Yod Samuel Martín García, José M. Del Álamo, Daniel Le Métayer, Thibaud Antignac, Antonio Kung, Inga Kroener, David Wright
In Security and Privacy Workshops, IPWE 2015, SPW 2015, IEEE, 2015.
link - Privacy by Design: On the Conformance Between Protocols and Architectures
Vinh-Thong Ta, Thibaud Antignac
In Foundations & Practice of Security, FPS 2014, LNCS, Volume 8930, pages 65-81, Springer, 2015.
link | download - Privacy Architectures: Reasoning about Data Minimisation and Integrity
Thibaud Antignac, Daniel Le Métayer
In Security and Trust Management, STM 2014, LNCS, Volume 8743, pages 17-32, Springer, 2014.
link | download - Privacy by Design: From Technologies to Architectures (Position Paper)
Thibaud Antignac, Daniel Le Métayer
In Privacy Technologies and Policy, APF 2014, LNCS, Volume 8450, pages 1-17, Springer, 2014.
link | download - On the effect of scanning strategies in the selective laser melting process
Jamasp Jhabvala, Eric Boillat, Thibaud Antignac, Rémy Glardon
In Virtual and Physical Prototyping, Volume 5(2), pages 99-109, Taylor & Francis, 2010.
link - Study and simulation of different scanning strategies in SLM
Jamasp Jhabvala, Eric Boillat, Thibaud Antignac, Rémy Glardon
In Advanced Research in Virtual and Rapid Prototyping, VR@P4, IDDM, Chapter 57, pages 369-376, CRC Press, 2009.
link
Workshops
- Trust Driven Strategies for Privacy by Design
Thibaud Antignac, Daniel Le Métayer
At Atelier de Protection de la Vie Privée (APVP 2015), Mosnes, France, 2015. - Démarche systématique pour le privacy by design
Thibaud Antignac, Daniel Le Métayer
At CAPPRIS Oct. 2014, Paris, France, 2014.
link | download - PrivaSy: systematic exploration of the design space using constraint solving techniques (ongoing work)
Thibaud Antignac, Daniel Le Métayer
At Atelier de Protection de la Vie Privée (APVP 2012), Île de Groix, France, 2012.
Invited talks
- From (informal) privacy regulations to (formal) techniques
Thibaud Antignac
At FMpriv workshop, Limassol, Cyprus, Nov. 2016 (remote).
link - Privacy: bridging the gap between regulations and technical solutions
Thibaud Antignac
At IoTSec Consortium F2F meeting, Halden, Norway, Sep. 2016.
link - Formal Approches to Privacy by Design
Thibaud Antignac At CEA LIST seminar, Palaiseau, France, Jul. 2016. - Formal Approches to Privacy by Design
Thibaud Antignac At DAVID/SMIS seminar, Saint-Quentin-en-Yvelines, France, May 2016.
Reports
- Trust Driven Strategies for Privacy by Design (Long version)
Thibaud Antignac, Daniel Le Métayer
In Research report RR-8676, Inria, 2015.
link | download
Posters
- A Formal Framework for Systematic Privacy by Design
Thibaud Antignac
At CITI lab PhD day, Lyon, France, 2014.
link | download
Theses
- Formal methods for privacy by design
Thibaud Antignac
Ph.D thesis, INSA Lyon, 2015.
link | download - Est-il possible de concilier service personnalisé et respect de la vie privée ?
Thibaud Antignac
M.Sc thesis, Mines ParisTech, 2011. - Testing Conformance of Programmable Logic Controllers to Time-Based Monitoring Specifications
Thibaud Antignac
M.Sc thesis, ENS Cachan, 2010.