Student Travel Support for the seL4 Summit

Abstract

The project was to provide financial support for students to attend the 2019 summit on the seL4microkernel, which is the world's most highly assured OS kernel. The summit was held in Sep 23 - 26 2019.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 15, 2022
Accession Number
AD1192850

Entities

People

  • Yao Liu

Organizations

  • University of South Florida

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Agreements
  • Classification
  • Contracts
  • Information Operations
  • Instructions
  • Kernels (Operating System)
  • Military Research
  • Monitoring
  • Operating Systems
  • Security
  • Spectra
  • Standards
  • Students
  • Technology Transfer
  • Universities
  • Virginia
  • Workshops

Readers

  • Academic Conference Management
  • Cybersecurity.
  • Software Engineering.