Security Proof of Critical Embedded Code Using Abstract Interpretation

Authors
Slides

Date
Thursday, June 7, 2018
Event
Computer science department seminar
Location
🇫🇷 Obernai, France