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.
Matthew Pruett, Andrew Zeliff, Anjali Yagnavajhala, Hudson Howie, Jake Ashmore, Jestin Keaton, Justin Hsu, Patrick Ogle | |
Jai Moondra, Phillip C. Lotshaw, Greg Mohler, Swati Gupta | |
Eaton, K., Balloch, J. C., Kim, J., & Riedl, M. | |
Zollicoffer, G., Eaton, K., Balloch, J., Kim, J., Riedl, M. O., & Wright, R. (2023). | |
Yash Shukla, Kaleb Loar, Robert Wright, Jivko Sinapov | |
Jonathan C Balloch, Julia Kim, Jessica L Inman, Mark O. Riedl | |
Jonathan Balloch, Zhiyu Lin, Mustafa Hussain, Aarun Srinivas, Robert Wright, Xiangyu Peng, Julia Kim, Mark Riedl | |
Saad–Falcon, Alex, Jonathan Andreasen, J. Clayton Kerce, Ryan S. Westafer, Jonathan P. Beaudeau, J. Michael McKinney, Christopher F. Barnes | |
Kohls, Noah D., Andy X. Zheng, Joshua Kim, Greg Mohler, Yi Chen Mazumdar | |
Sarkar, Anirban, BN Shivakiran Bhaktha, Jonathan Andreasen. |