Towards Formal Security Verification of Over-the-Air Update Protocol: Requirements, Survey and UpKit Case Study.

Christophe Ponsard, Denis Darquennes

Browse the full ICISSP paper archive.