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 …

Lelio Brun, Ichiro Hasuo, Taro Sekiyama, Yasushi Ono