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.