A New Generic Representation for Modeling Privacy. - Myriam Clouet; Thibaud Antignac; Mathilde Arnaud; Gabriel Pedroza; Julien Signoles (EuroS&P Workshops, 2022)

Context Specification Language for Formally Verifying Consent Properties on Models and Code. - Myriam Clouet; Thibaud Antignac; Mathilde Arnaud; Julien Signoles (TAP, 2023)

Langage de spécification et outil de vérification pour le consentement et la nécessité des données fondés sur une classification relative au respect de la vie privée. (Specification language and verification tool for consent and data necessity based on a classification related to privacy compliance). - Myriam Clouet (2024)