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)
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