Trustworthy Systems

Matthew Rossouw
Research Assistant

Research Interests

Matt works on sDDF/LionsOS drivers, and various networking, hardware and FPGA projects. Matt's honours thesis is on studying driver dataflow dynamics in the sDDF.

Contact Details

Email:matthew.rossouw@unsw.edu.au
Web:https://github.com/omeh-a

More contact information is available at the Contact page.

Photo of Matthew Rossouw

Matt is a research assistant and coursework student at TS. Matt is interested in operating systems, security, computer hardware, embedded systems and networking.

Projects

Current

ipbench, Analysis of Linux network performance regression, sDDF / DPDK / other user-space driver framework benchmarking, seL4 Device Driver Framework, LionsOS, Microkit, seL4 kernel, device interface verification

Career Summary

Secure kernel engineering intern (Apple)

Qualifications

Bachelor's Degree in Computer Engineering (Honours), UNSW (graduating 2025)