Skip to main content

Jasper Lowell
OS Engineer

Research Interests

Jasper is interested in protecting critical infastructure systems. His current work involves redesigning seL4's untrusted boot code so that it can deliver higher levels of assurance and sets a firm foundation for future formal verification work.

Contact Details

More contact information is available at the Contact page.