Lelio Brun's homepage
Lelio Brun's homepage
About
Publications
Talks
Projects
Experience
Teaching
Academic service
Contact
CV
Light
Dark
Automatic
Solvers
Automated Security Analysis for Real-World IoT Devices
Automatic security protocol analysis is a fruitful research topic that demonstrates the application of formal methods to security …
Lelio Brun
,
Ichiro Hasuo
,
Taro Sekiyama
,
Yasushi Ono
PDF
Cite
Slides
DOI
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation
Model-based design tools like SCADE Suite and Simulink are often used to design safety-critical embedded software. Consequently, …
Lelio Brun
,
Christophe Garion
,
Pierre-Loïc Garoche
,
Xavier Thirioux
PDF
Cite
Project
Slides
DOI
Cite
×