Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thibaud Antignac
conf.researchr.org general profile
STAF 2023 profile
Not registered as user yet
Name:
Thibaud Antignac
Country:
France
Affiliation:
CNIL (Commission nationale de l’informatique et des libertés)
Contributions
2023
TAP
Author of Context Specification Language for Formal Verification of Consent Properties on Models and Code within the Research Papers-track
Share
x
Tue 12 Nov 20:48