Silhouette
Upgrade to view details

Dr. John Launchbury

Message

Employers

  • DARPA

    Program Manager, Technical Point of Contact

Solicitation Topics

This person acted as an agency sponsor for these current and past funding opportunities.
Title Agency Solicitation Topic Date
Secure Software Components Leveraging the seL4 Microkernel DARPA 151 SB151-003 Dec 2014
Award Amount Period
Phase 2: Secure Software Components Leveraging the seL4 Microkernel
Critical Technologies Inc.
$1.5MM 09/15 - 09/17
Phase 1: Secure Software Components Leveraging the seL4 Microkernel
Real-time Innovations
$150K 01/15 - 12/15
Phase 1: seL4 Components for Secure Embedded Networked Applications
Wearable Inc.
$144K 01/15 - 12/15
Phase 1: Secure Software Components Leveraging the seL4 Microkernel
True Secure SCADA
$149K 01/15 - 12/15
Phase 1: Secure Software Components Leveraging the seL4 Microkernel
Techshot, Inc.
$150K 01/15 - 12/15
Phase 1: An seL4-Enabled Safe & Secure Soldier Helmet Display
DornerWorks, Ltd.
$148K 01/15 - 12/15
Phase 2: Leveraging Assurance on an seL4-Enabled Safe & Secure Soldier Helmet Display
DornerWorks, Ltd.
$1.5MM 06/16 - 07/17
Phase 2: A Secure Distributed Computing Middleware for the seL4 Ecosystem
Real-time Innovations
$1.5MM 06/16 - 07/18
Mobile Cloud Analytic Environment DARPA 14.3 SB143-003 Aug 2014
Award Amount Period
Phase 2: Demonstration of System for Mobile Cloud High-Density Robust Analytics (MC-HiDRA)
Toyon Research Corp.
$1.51MM 03/16 - 06/18
Phase 1: System for Mobile Cloud High Density Robust Analytics (MC-HiDRA)
Toyon Research Corp.
$100K 01/15 - 12/15
Phase 2: DJIN: A Mobile Cloud Analytic Environment
DZYNE Technologies, Inc.
$1.5MM 01/15 - 12/15