Cryptographic protocols

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 …
Lélio Brun, Ichiro Hasuo, Taro Sekiyama, Yasushi Ono
PDF Slides DOI