Reverse engineer the OpenAccess file format
Funded solution
Allow Servo browser engine to render beyond atomic pages
More robust defense Against Firmware Vulnerabilities
Formal verification of the reference open source SCION Router
Add UEFI to the Qubes integration of Trenchboot with AEM