Skip to main navigation
Skip to search
Skip to main content
Experts@Syracuse Home
Help & FAQ
Home
Profiles
Research Units
Equipment
Grants
Research output
Activities
Press and Media
Prizes
Search by expertise, name or affiliation
Secure Software Components Leveraging the seL4 Microkernel
Chapin, Stephen J
(PI)
Department of Electrical Engineering & Computer Science
Project
:
Research project
Overview
Project Details
Status
Finished
Effective start/end date
9/14/15
→
9/13/17
Funding
Defense Advanced Research Projects Agency
Critical Technologies, Inc.
View all
View less