Automated Security Analysis for Real-World IoT Devices
Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama · 2023
Automatic security protocol analysis is a fruitful research topic that demonstrates the application of formal methods to security analysis. Several endeavors in the last decades successfully verified security properties of large-scale network protocols like TLS, sometimes unveiling unknown vulnerabilities.