Sai Nair
Proof Engineer
Research Interests
Sai is working on verifying time protection enforcement on the seL4 microkernel. In particular, he is validating addresses touched in said enforcement are within partitions allocated to a given context.
Contact Details
| Email: | sai.nair@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |