Ensuring the Memory Safety of FreeRTOS Part 2
In Part 1, we discussed how FreeRTOS is addressing an important source of security issues --- buffer overflows --- by ensuring the memory safety of the TCP/IP, ARP, DHCP, DNS, and HTTPS header parsing in the FreeRTOS-Plus-TCP TCP/IP stack. We described how we're using an automated reasoning technique, software model checking, and how the level […]
Ensuring the Memory Safety of FreeRTOS Part 1
FreeRTOS is a real-time operating system designed for resource-constrained devices, including devices in the Internet of Things (IoT). Because these devices are resource-constrained, they do not provide all the hardware mechanisms richer operating systems utilize to protect the system from external adversaries. On such small devices, security depends on simpler memory protection and execution privilege level hardware, […]
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.