Research Frontiers in Cryptographic Backdoor Detection and Formal Verification
Development of formal methods and automated techniques for detecting deliberate weaknesses in cryptographic implementations and verifying the absence of covert vulnerabilities.