Toward Neuro-Symbolic Natural Language Requirements to Verified Implementations for Model-Based Systems Engineering in SysML v2
Amer Tahat, David Hardin, Isaac Aumndson, Darren Cofer
Collins Aerospace
|
ABSTRACT |
OGhidra: Local AI For Reverse Engineering at Scale
Slides for this presentation are available to registered HCSS community members. Please log in to access the file.
Once logged in, you may download the slides here: [HCSS 2026 Westbrook]
If you do not already have an account, you may create one here:
https://sos-vo.org/user/register
ABSTRACT |
Neurosymbolic C++ Verification using Rocq
Lennart Beringer | Jasper Haag | Rodolphe Lepigre | Gregory Malecha | Rayan Soban | Ehtesham Zahoor
SkyLabs AI*
|
ABSTRACT |
Formally Verifying Undetectability in Hidden Communication Systems with Maude-HCS
|
ABSTRACT A hidden communication system (HCS) embeds hidden messages within ordinary network activity by repurposing existing protocols as subliminal channels. Although prior work provides useful tools for assessing the detectability of the HCS, there is no general and modular framework that both formalizes what it means for an HCS to be undetectable and formally verifies that a concrete implementation satisfies this property. |
Autonomous Formal Methods
ABSTRACT In this talk I will describe HOARDE — the Hierarchical Orchestration of Autonomous Rigorous Digital Entities — built by my company, Sigil Logic, since our founding in September, 2025. HOARDE realizes what we call the NINJA methodology (Non-Intrusive Judicious Assurance): rigorous engineering with applied formal methods, made accessible to every engineering team through AI agents. |
Securing Edge AI in Contested Environments: Formal Methods for Protection and Continuous Authorization
Slides for this presentation are available to registered HCSS community members. Please log in to access the file.
Once logged in, you may download the slides here: [HCSS 2026 BOYD]
If you do not already have an account, you may create one here:
https://sos-vo.org/user/register
ABSTRACT |
Formally Verified Post-Quantum Cryptography at Scale
Dusan Kostic, Hanno Becker, John Harrison, Rod Chapman (AWS Cryptography)
ABSTRACT |