Towards Formally Verified Key Management for Industrial Control Systems.

Tomas Kulik, Jalil Boudjadar, Diego F. Aranha

Browse the full ICSE paper archive.