Thomas Liang
Honours Thesis Student
Research Interests
Thomas is working on the verification of the seL4 microkernel. His honours thesis is about eliminating microarchitectural timing channels.
Contact Details
| Email: | thomas.liang@unsw.edu.au |
|---|
More contact information is available at the Contact page.
