Student Travel Support for the seL4 summit.
Abstract
The secure embedded L4 microkernel (seL4) is the first formally verified microkernel that offers fundamental software separation properties and provides new opportunities to build assured computer systems. The mission of the seL4 Center of Excellence (CoE) is to build a sustainable ecosystem around the open source secure embedded L4 microkernel, to enable widespread adoption of seL4 and promote the principled development and deployment of trustworthy embedded systems.The CoE would like to further booster education and student participation via wider student attendance to the 2019 seL4 Summit. This proposal requests funding to support students to attend the 2019 seL4 summit as participants. The support on student travel will be highly important to involve and educate next-generation students in this critical field of building assured systems based on formally verified separation kernels.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 10, 2019
- Source ID
- W911NF1910355
Entities
People
- Yao Liu
Organizations
- Army Contracting Command
- United States Army
- University of South Florida