5 papers
CHERI Performance Enhancement for a Bytecode Interpreter
Duncan Lowther, Dejice Jacob, Jeremy Singer
During our port of the MicroPython bytecode interpreter to the CHERI-based Arm Morello platform, we encountered a number of serious performance degradations. This paper explores se…
Reinforcement learning guided fuzz testing for a browser's HTML rendering engine
Martin Sablotny, Bjørn Sand Jensen, Jeremy Singer
Generation-based fuzz testing can uncover various bugs and security vulnerabilities. However, compared to mutation-based fuzz testing, it takes much longer to develop a well-balanc…
Improving Robustness Against Adversarial Attacks with Deeply Quantized Neural Networks
Ferheen Ayaz, Idris Zakariyya, José Cano +4
Reducing the memory footprint of Machine Learning (ML) models, particularly Deep Neural Networks (DNNs), is essential to enable their deployment into resource-constrained tiny devi…
Picking a CHERI Allocator: Security and Performance Considerations
Jacob Bramley, Dejice Jacob, Andrei Lascu +2
Several open-source memory allocators have been ported to CHERI, a hardware capability platform. In this paper we examine the security and performance of these allocators when run…
Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability
Adrian Ramsingh, Jeremy Singer, Phil Trinder
Web applications are structured as multi-tier stacks of components. Each component may be written in a different language and interoperate using a variety of protocols. Such intero…