Keeping Secrets in Integrated Avionics