R&D in high-assurance cryptography.