seL4 Components for Secure Embedded Networked Applications

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: D15PC00141
Agency Tracking Number: D151-003-0106
Amount: $143,921.00
Phase: Phase I
Program: SBIR
Awards Year: 2015
Solicitation Year: 2015
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Small Business Information
625 N NORTH CT STE 320, PALATINE, IL, 60067-8135
DUNS: 079723801
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Brian Mastenbrook
 CTO
 (847) 920-8722
 brian@wearable.com
Business Contact
 Mr. Matthew Klapman
Title: program manager
Phone: (847) 920-8720
Email: matt@wearable.com
Research Institution
N/A
Abstract
Embedded networking applications ranging from industrial control systems to home automation and networking to smartphone-controllable devices represent a substantial and growing internet security risk. The open source formally verified seL4 microkernel provides a foundation for building trustworthy systems. Wearable Inc. proposes building on this a set of high-quality software components which can be used for the development of trustworthy embedded networking applications across a variety of domains. These components comprise an implementation of the standard IP networking suite, a TLS protocol implementation with private key isolation, and an embedded JVM compatible bytecode interpreter, together with extensions to the capDL loader and CAmkES tools to allow component reinstantiation and dynamic instantiation. For each component, an approach to demonstrating and verifying its safety to an appropriate level will be prototyped in Phase I. Approaches explored will include symbolic execution, use of type system features in a safe language, and formal verification. In Phase II, these components will be developed, documented, verified, and released as open source as appropriate, and a secure router will be demonstrated as an example application of these components.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government