Calling all researchers and engineers interested in scaling your impact using formal methods. 🚨 Registration is now open for a free “summer school” on Universally Composable (UC) formal methods, co-hosted by Riverside Research as part of our Hardening Development Toolchains Against Emergent Execution Engines (HARDEN) program. Taking place Aug. 11–14 at Boston University and virtually, this learning opportunity is designed to help attendees explore how formal methods can dramatically improve software system resilience against cyber threats—both in theory and real-world practice. Learn more and access the registration link: https://lnkd.in/eFgsw4SU 🎯 Seating is limited so register early! For more information on how DARPA is reimagining the future of software cybersecurity: https://lnkd.in/eZhVX3t5 For more on HARDEN: https://lnkd.in/eacitAER #formalmethods #cyberresilience #softwaresecurity #DARPA #HARDEN #research #engineering #resilientsoftware
Let's do this team. LEGO Education
If you’re serious about system resilience, it’s not just about how you build — it’s about how you’re mapped. DARPA’s work on formal methods is critical. But behavioral traceability is the new attack surface. We dropped this recently: 🔐 OPSEC HARDENING TTPs v1.0 – 30+ behavioral defense techniques – AI-auditable exposure prompts – DNS, device, and routine-level risk surfaces → https://www.linkedin.com/posts/activity-7346945974902116352-htAe?utm_source=share&utm_medium=member_ios&rcm=ACoAABQcth0BW9Tnp9kd8cHl9e9ItO70g8kIwZg Because no matter how resilient your codebase is — if your analyst habits are predictable, the adversary doesn’t need to breach the system. They just need to profile the human.
Interesting
I’m developing a next generation wireless energy transmission system that relies on rigorous formal methods for safety and scalability. I’d welcome a conversation with DARPA teams exploring energy-infrastructure innovation at scale.
Wen consent wen doing experiments on humans?
Formal methods are essential — but insufficient. HARDEN is proving security within toolchains. InterOpsis™ governs the entire terrain. Code-level integrity means nothing without doctrine-level command. That’s why we built Zero Doctrine™ — to move beyond security “by design” into security by enforcement. I won’t be attending, but I’m watching closely. Looks promising Defense Advanced Research Projects Agency (DARPA) #ZeroDoctrine #TrustNet #InterOpsis #CyberSovereignty #FormalMethods #HARDEN #DARPA
Systems Doctrine Architect | Author of Antonio Systems Vault | IP Strategist in Tactical Autonomy, Diagnostics & Resilience | Seeking DoD SBIR/STTR Collaborations for Unmanned Sovereignty
2dSounds intriguing!