Myriam Clouet

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Specification Language

Privacy Concerns

Dynamic Bayesian Networks

Identity Management

Top Venues

EuroS&P Workshops

Publications

Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles
Context Specification Language for Formally Verifying Consent Properties on Models and Code. TAP (2023)
Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Gabriel Pedroza, Julien Signoles
A New Generic Representation for Modeling Privacy. EuroS&P Workshops (2022)