http://opencatalog.darpa.mil

Automated Program Analysis for Cybersecurity (APAC)

http://www.darpa.mil/program/automated-program-analysis-for-cybersecurity

Crowd Sourced Formal Verification (CSFV)

http://www.darpa.mil/program/crowd-sourced-formal-verification

High-Assurance Cyber Military Systems (HACMS)

http://www.darpa.mil/program/high-assurance-cyber-military-systems

Presentations

• Using Formal Methods to Enable More Secure Vehicles: DARPA's HACMS Program

Software

• SMACCMPilot
• Ivory/Tower

Probabilistic Programming for Advancing Machine Learning (PPAML)

http://www.darpa.mil/program/probabilistic-programming-for-advancing-machine-Learning)

Software

Tactically Exploited Reconnaissance Node (TERN)

http://www.darpa.mil/program/tactically-exploited-reconnaissance-node

News Coverage

• DARPA will build drones capable of landing on small ships