High assurance crypto and secure communication