Assured Software, Algorithms, and Information

CIPHER develops and implements rigorous analytical methods to assure the security and integrity of data, software, algorithms, and cyber-connected devices. Research areas of interest include assurance of artificial intelligence and machine learning systems, trusted software and systems, quantum information processing,  and analysis techniques in information theory and related mathematical domains.