In secondary 4, I participated in R@YDSP, a student research program where my research partner and I worked on generative grammar-based fuzzing. We upgraded the Domato black box fuzzer by searching for more CSS and SVG elements, attributes, etc using a web scrapper and regular expressions. Furthermore, we implemented fuzzing of eXtensible Stylesheet Language Transformations (XSLT) with use of the Domato engine.

Joined the DSTA's Cybersecurity Programme Center at DSTA. Specifically, I joined the hardware vulnerability analysis team and learnt about hardware security of routers. I was exposed to various hardware debugging interfaces such as UART and JTAG and used them to connect, communicate and control my target router.

Investigated the emulation of different USB device classes using different microcontrollers. Programmed RP2040 Plus and ESP32-S3 via various technology stacks including Arduino, low-level C++, and ESP-IDF.

Formal verification project to extend the effectiveness of the relational Symbolic Trajectory Evaluation model checking algorithm via symbolic indexing transformations.