Quality RTOS & Embedded Software

Articles by Nathan Chong

  • 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.