Quality RTOS & Embedded Software

Articles in Security category

  • Security for Arm Cortex-M devices with FreeRTOS
    Securing microcontrollers is a challenge, hampered in part by lack of hardware enforced security domains. Creating two security domains typically requires two microprocessors each with a separate Memory Protection Unit (MPU). Arm TrustZone, introduced with the Armv8-M architecture, enables two security processing environments on a single Cortex-M processor (see Using FreeRTOS on Armv8-M Microcontrollers). Once […]
    Read more…
  • 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+TCP TCP/IP stack. We described how we’re using an automated reasoning technique, software model checking, and how the level […]
    Read more…
  • 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, […]
    Read more…
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.