Cross-domain systems programming, mostly C, moving everything in the transfer path to Rust. Unidirectional gateways with OEO diodes and complete protocol breaks, working on FPGA diodes with embedded filtering. Guards, high assurance filters, etc.