About AARNO LABS LLC
Aarno Labs is a small team of experts founded in 2015 by MIT researchers, specializing in computer security with a focus on formal methods, program analysis, and dynamic instrumentation. They have received over $35M in research grants from DoD, DARPA, and ARPA-H.
Advanced binary and source code analysisLow-cost and high-assurance binary patchingMalware analysis and vulnerability detectionSupply chain telemetry, assessment, and protectionRuntime protection and zero-trust securityFormal methods and program analysisAI/ML integration in security solutions
Recent Federal Awards
| Award | Agency | Amount | Date |
|---|---|---|---|
| Federal contract award | Department of Defense | $6.9M | |
| RESEARCH IAW SOW | Department of Defense | $5.9M | |
| MACHINE LEARNING AND OPTIMIZATION-GUIDED COMPILERS FOR HETEROGENEOUS ARCHITECTURES (MOCHA) PROGRAM. | Department of Defense | $2.3M | |
| ENHANCED SBOM FOR OPTIMIZED SOFTWARE SUSTAINMENT (E-BOSS) PROGRAM. | Department of Defense | $3.4M |
Teaming History
Prime contractors AARNO LABS LLC has worked under:
- Systems & Technology Research Llc — 5 subcontract(s)
- Massachusetts Institute Of Technology — 4 subcontract(s)
Is this your company?
Claim this profile to keep it accurate — and see the federal & state opportunities GovIntel's AI has matched to AARNO LABS LLC right now.
Claim this profile See matched opportunitiesData compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Inaccurate? Let us know.