Skip to content

Commit 4f0e59b

Browse files
committed
added new paper links for CapableVMs papers
1 parent b816b01 commit 4f0e59b

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

README.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,9 +18,13 @@ or [Jeremy Singer](http://www.dcs.gla.ac.uk/~jsinger/).
1818

1919
## Academic Publications
2020

21+
- Secure Scripting with CHERIoT MicroPython (March, 2024), [[doi: 10.1145/3708493.3712694](https://doi.org/10.1145/3708493.3712694)]
2122
- Morello MicroPython: A Python Interpreter for CHERI (October, 2023), [[doi: 10.1145/3617651.3622991](https://doi.org/10.1145/3617651.3622991)]
2223
- CHERI Performance Enhancement for a Bytecode Interpreter (October, 2023), [[doi: 10.1145/3623507.3623552](https://doi.org/10.1145/3623507.3623552)]
24+
- Capable VMs Project Overview (Poster Abstract) (October, 2023), [[doi: 10.1145/3617651.3624308](https://doi.org/10.1145/3617651.3624308)]
25+
- Towards Secure MicroPython on Morello (WIP) (June, 2023), [[doi: 10.1145/3589610.3596272](https://doi.org/10.1145/3589610.3596272)]
2326
- Picking a CHERI Allocator: Security and Performance Considerations (March, 2023), [[doi: 10.1145/3591195.3595278](https://doi.org/10.1145/3591195.3595278)] [[arXiv](https://arxiv.org/abs/2303.15130)]
27+
- Boehm-Demers-Weiser Garbage Collection on Morello (November, 2022), [[doi: 10.1145/3546918.3560808](https://doi.org/10.1145/3546918.3560808)]
2428
- Capability Boehm: Challenges and Opportunities for Garbage Collection with Capability Hardware (February, 2022), [[doi: 10.1145/3516807.3516823](https://doi.org/10.1145/3516807.3516823)]
2529

2630
## Blog posts

0 commit comments

Comments
 (0)