Techniques symboliques pour l'analyse de code binaire – BINCOA
Project coordination
Sébastien Bardin (COMMISSARIAT A L'ENERGIE ATOMIQUE - CENTRE D'ETUDES NUCLEAIRES SACLAY)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
Partner
COMMISSARIAT A L'ENERGIE ATOMIQUE - CENTRE D'ETUDES NUCLEAIRES SACLAY
Help of the ANR 883,532 euros
Beginning and duration of the scientific project:
- 36 Months