Uploaded June 2025 | Updated September 2026, 2 weeks ago
Google Threat Intelligence Group Chief Analyst Mr. John Hultquist provided a threat intelligence brief at the DARPA’s Resilient Software Systems Colloquium, held on June 17, 2025. Learn more about formal methods: https://www.darpa.mil/research/research-spotlights/formal-methods.
Google Threat Intelligence Group Chief Analyst Mr. John Hultquist provided a threat intelligence brief at the DARPA’s Resilient Software Systems Colloquium, held on June 17, 2025. Learn more about formal methods: https://www.darpa.mil/research/research-spotlights/formal-methods.










