Papers
Dynamic Memory Management in Critical Embedded Software
Making Proofs of Floating-Point Programs Accessible to Regular Developers
Streamlining Software Development with Certifiable Code Generation
Making FACETM Units of Conformance Fully Portable: Coding Guidance for Ada
How to Increase Military Software Innovation and Longevity through Reuse
Disruptive Technology for Military-Grade Software
Guidelines and Considerations Around ED-203A / DO-356A Security Refutation Objectives
Layered Formal Verification of a TCP Stack
Classification for Avionics Capabilities Enabled by Artificial Intelligence
Software Safety Certification Q&A
Security-Hardening Software Libraries with Ada and SPARK