-
Using Formal Methods to validate OTA Protocol
by Murali Talupur on 14 Dec 2020
AWS FreeRTOS is a real-time operating system designed to run on IoT devices to enable them to interact easily and reliably with AWS services. The Over the Air (OTA) update functionality makes it possible to update a device with security fixes quickly and reliably. The OTA Library, a part of the overall OTA functionality that […]
Read more…
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.