Affiliation:
1. University of Glasgow, Glasgow, United Kingdom
Funder
Defence Science and Technology Laboratory
Engineering and Physical Sciences Research Council
Reference17 articles.
1. Arm. 2021. Arm Architecture Reference Manual Supplement — Morello for A-profile Architecture. https://developer.arm.com/documentation/ddi0606/ Arm. 2021. Arm Architecture Reference Manual Supplement — Morello for A-profile Architecture. https://developer.arm.com/documentation/ddi0606/
2. Picking a CHERI Allocator: Security and Performance Considerations
3. CheriABI
4. Damien P. George. 2013. MicroPython. https://micropython.org Damien P. George. 2013. MicroPython. https://micropython.org
5. The flame graph
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Capable VMs Project Overview (Poster Abstract);Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2023-10-19
2. Morello MicroPython: A Python Interpreter for CHERI;Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2023-10-19