Securing Memory Isolation in Texas Instruments Microcontrollers
UD6.215 | Day 2 | 10:00 - 10:20 | Speakers: Marton Bognar
Abstract
In this talk, I will first introduce Intellectual Property Encapsulation, the confidential computing feature of Texas Instruments MSP430 microcontrollers, and multiple vulnerabilities we have found in it. Then, I will propose two methods of mitigating these vulnerabilities: first, a software-only solution that can be deployed on existing devices; second, a standard-compliant reimplementation of the hardware on an open-source CPU with more advanced security features and an extensive testing framework.
Attacks and software mitigation: https://github.com/martonbognar/ipe-exposure Open-source hardware design and security testing: https://github.com/martonbognar/openipe
Attachments
Speakers
Marton is a postdoctoral researcher at the DistriNet research group of KU Leuven. His interest lies in the intersection of hardware design, microarchitectural attacks, and formal verification. He is active in both offensive and defensive research with contributions ranging from performing side-channel attacks on web browsers and microcontrollers to building hardware extensions on RISC-V to mitigate transient execution attacks.
Website: https://mici.hu
Links
External Links
Notice: The placeholder video image is licensed under CC BY-SA 4.0. The original image can be found hereChanges made to the image are: Cropped the image to a new ratio, part of the image was cut off.