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.


Publication image 1
Yash Shukla, Kaleb Loar, Robert Wright, Jivko Sinapov
An Object-Oriented Approach for Generating Low-Fidelity Environments for Curriculum Schema Transfer
Proceedings of the Scaling Robot Learning Workshop at International Conference on Robotics and Automation (ICRA), 2022
Jonathan C Balloch, Julia Kim, Jessica L Inman, Mark O. Riedl
The Role of Exploration for Task Transfer in Reinforcement Learning
Proceedings of the IROS 2022 Workshop on Lifelong Learning of High-level Cognitive and Reasoning Skills (2022) 
Publication image 2
Jonathan Balloch, Zhiyu Lin, Mustafa Hussain, Aarun Srinivas, Robert Wright, Xiangyu Peng, Julia Kim, Mark Riedl
NovGrid: A Flexible Grid World for Evaluating Agent Response to Novelty
Proceedings of the AAAI Spring Symposium on Designing Artificial Intelligence for Open Worlds (2022)
Publication image 3
Saad–Falcon, Alex, Jonathan Andreasen, J. Clayton Kerce, Ryan S. Westafer, Jonathan P. Beaudeau, J. Michael McKinney, Christopher F. Barnes
Abstraction and Acceleration of Tensor Processing for Element-Level Digital Arrays
2022 IEEE International Symposium on Phased Array Systems & Technology (2022)
Publication image 4
Kohls, Noah D., Andy X. Zheng, Joshua Kim, Greg Mohler, Yi Chen Mazumdar
Magnetic tags with unique self-assembly patterns for tracking applications.
Journal of Magnetism and Magnetic Materials (2021)
Publication image 5
Sarkar, Anirban, BN Shivakiran Bhaktha, Jonathan Andreasen.
Replica symmetry breaking in a weakly scattering optofluidic random LASER
Scientific Reports (2020)