qemu
Published:
Notes on adding a custom instruction to QEMU for CHERI RISC-V.
Posts
security
Published:
At the beginning of my PhD I at first became interested in the broader area of cybersecurity, but my current line of research really got me into the area of systems security. In particular improving the cyber-resilience and availability low-level systems software against memory corruption attacks. This has required me to develop skills, such as in-depth knowledge of the C and Rust runtimes, as well as assembly programming.
crowdstrike
Published:
The CrowdStrike outage shows that improving software resilience and availability is as important as detecting and mitigating memory-safety vulnerabilities.
LLVM
Published:
I have been learning LLVM for a while; I added a function and variable attribute, new compiler options, wrote a hacky LLVM transformation pass, and deleted my hacky stuff in the backend! I kind of enjoyed it, kind of annoyed; in the end, I think it was good to learn!
Bluspec
Published:
Notes on installing the BSC compiler and Bluespec library for CHERI development.
CHERI
Published:
Adversarial Examples: A great starting point! These exercises will introduce you to the concept of capabilities and how they can be used to protect against various security threats.
BESSPIN GPE
Published:
Notes on setting up and running BESSPIN-GFE with the CHERI-Toooba core on FPGA.
RUST
Published:
I worked on macro expansion on Rust for that project: https://arxiv.org/pdf/2306.08127
GDB
Published:
I am studying on low-level security.