High-Assurance Encryption for the Defence Industry