1. Gnat pro for rust: Release announcement,2023
2. RecordFlux: Development of provable, secure communication protocols,2023
3. Programming Language Evaluation Criteria for Safety-Critical Software in the Air Domain
4. High assurance rust: Developing secure and robust software;Ballo,2022
5. Rad750 experience: The challenge of see hardening a high performance commercial processor;Burchin