Towards Secure MicroPython on Morello (WIP)

Singer, J. (2023) Towards Secure MicroPython on Morello (WIP). In: 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES '23), Orlando, FL, USA, 18 Jun 2023, pp. 134-137. ISBN 9798400701740 (doi: 10.1145/3589610.3596272)

[img] Text
297964.pdf - Accepted Version
Available under License Creative Commons Attribution.

512kB

Abstract

The Arm Morello platform is a prototype system that supports hardware capabilities for improving runtime security. Although Morello is a server class compute component, there is ongoing work aimed at bringing architectural capabilities to embedded scale devices. For this reason, we are porting the MicroPython framework to Morello. Our intention is to understand the impact of hardware capabilities on lightweight runtime execution environments, like MicroPython, that target embedded devices. In this work-in-progress report, we describe the minimal modifications required to compile the C source code of MicroPython for Morello. We show that this approach gives a working, but not necessarily more secure, version of MicroPython. Our paper proceeds to outline how capabilities could be used to improve runtime system security for MicroPython runtime and hosted applications.

Item Type:Conference Proceedings
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Singer, Dr Jeremy
Authors: Singer, J.
College/School:College of Science and Engineering > School of Computing Science
ISBN:9798400701740
Copyright Holders:Copyright © 2023 Copyright held by the owner/author(s)
First Published:First published in LCTES 2023: Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
Publisher Policy:Reproduced in accordance with the publisher copyright policy
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
310130Capable VMsJeremy SingerEngineering and Physical Sciences Research Council (EPSRC)EP/V000349/1Computing Science