During our port of the MicroPython bytecode interpreter to the CHERI-bas...
Generation-based fuzz testing can uncover various bugs and security
vuln...
Reducing the memory footprint of Machine Learning (ML) models, particula...
Several open-source memory allocators have been ported to CHERI, a hardw...
In previous work a novel Edge Lightweight Searchable Attribute-based
enc...
Web applications are structured as multi-tier stacks of components. Each...
The Cloud has become integral to most Internet-based applications and us...
What kinds of mistakes are made by novice Haskell developers, as they le...