| Toward a formally correct simulator, assembler, and verifier for the Trainium AI accelerator in Lean |
|
| Transitioning Assurance Case Technology to Production—an Experience Report |
|
| CSLib: Building a Platform for AI-assisted Formal Verification in Lean |
|
| AI as an Enabler for Analyzing Business Logic Systems |
|
| Provable Security: Operationalizing Formal Methods for National Defense |
|
| The HCSS Conference - Rooted in Trust |
|
| Translating Specifications to Safe and Efficient Code |
|
| Proactive Network Verification with 5STARS |
|
| Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using HAMR |
|
| Lifecycle Attestation for a High Assurance, Model-Based Developer Workflow |
|
| Intrinsic AI Assurance: Metacognition and Formally Verified Reasoning in Foundation Model Agents |
|
| Intrinsic AI Assurance: Metacognition and Formally Verified Reasoning in Foundation Model Agents |
|
| Formal Verification of QUICstep Using the Tamarin Symbolic Prover |
|
| Scaling CPS Understanding |
|
| Transitioning Assurance Case Technology to Production—an Experience Report |
|