SBIR/STTR Research Award
Microkernel Application Information fLow with Logic-based Enforcement (MAILLE)
Award amount
$749,957Program and phase
SBIR · Phase IIAward year
2021Award details
- Awarding agency
- Department of Defense
- Branch
- Air Force
- Recipient company
- ADVENTIUM ENTERPRISES, LLC
- Proposal award date
- 2021-04-16
- Contract end date
- 2023-04-16
- UEI
- CJHNQPYZWBA3
- Solicitation number
- 19.1
- Topic code
- AF191-063
Research abstract
Adventium Labs and our teammate Kansas State University (KSU) propose to develop the Microkernel Application Information fLow with Logic-based Enforcement (MAILLE) to specify, discover, analyze, and control key information flows to increase mission resili
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- GUMBO Graphical User Interface
- VOLTA Maturation for AF/DoD Embedded Systems Analysis (V-MESA)
- INsight to Diverse Information using Graphs and Ontologies (INDIGO)
- Continuous Human Operator Requirements Analysis of Linkage (CHORAL)
- Fault Recovery Instruction Generation using Automata Derived from Traditional Engineering Models (FRIGATE)
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- HERMES: Hardware attacks Evaluation, Resilience and Mitigation in Exemplar Systems
- Microkernel Application Information fLow with Logic-based Enforcement (MAILLE)
- Information Flow Control for Microkernels
Research funding history
54 SBIR/STTR records share this UEI (2005–2023). Reported award amounts total $21,845,157. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, National Aeronautics and Space Administration, Department of Health and Human Services, National Science Foundation