Security Proof of Critical Embedded Code Using Abstract Interpretation


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