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.

Publications

Jonathan Andreasen, Wesley D. Robertson, Roger Brown, Josh Shank, Bryan Kaehr, David Henry, Sean Smith, Eric Spoerke, David A. Scrymgeour
Reproducible emission from nonlinear random lasers
Optics Communications (2025)

Kumar, Bhupesh, Jonathan Andreasen, and Patrick Sebbah
Impact of non-Hermiticity and nonlinear interactions on disorder-induced localized modes
APL Photonics (2025)

Vicente Bosca, Tatum Rask, Sunia Tanweer, Andrew R. Tawfeek, Branden Stone
Topological Signatures of ReLU Neural Network Activation Patterns
Proceedings of the 1st Conference on Topology, Algebra, and Geometry in Data Science (TAG-DS 2025)

Yatis Dodia
Efficient Formal Verification of Neural Networks for Mission Assurance
Naval Applications of Machine Learning (2025)

Yatis Dodia, Jonathan Andreasen
Parallel Verification of Neural Networks applied to Medical Imaging
The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC24)

Kaleb Senator
Hybrid Fuzzing for VMF
International Test and Evaluation Association (2024)

Crooks, Courtney L., Jasmine Davidson, Vincent Davidson, Patrick Tyne, Katy Wills, Peter 
Lebedev, Tyler Rowe, Eric Tang & Jessica Inman
Application of Human Centered Reinforcement Learning to Develop an Air Battle 
Management Operator Digital Twin
Computational Science and Computational Intelligence (2024)

Byrd, Morgan, Jackson Crandell, Mili Das, Jessica Inman, Robert Wright, Sehoon Ha
PrivilegedDreamer: Explicit Imagination of Privileged Information for Rapid Adaptation of 
Learned Policies
IEEE International Conference on Robotics and Automation (2025)

Mathes, T., Colon, A., Inman, J., Khan, S
CODEX: A Cluster-Based Summarization Method for Explainable Reinforcement Learning
IJCAI Workshop on XAI (2023)

Shukla, Y., Kesari, B., Goel, S., Wright, R., & Sinapov, J.
A framework for few-shot policy transfer through observation mapping and behavior cloning
IEEE/RSJ International Conference on Intelligent Robots and Systems (2023)

Shukla, Y., Kulkarni, A., Wright, R., Velasquez, A., & Sinapov, J. 
Automaton-guided curriculum generation for reinforcement learning agents
International Conference on Automated Planning and Scheduling (2023)

Balloch, Jonathan C., Zhiyu Lin, Xiangyu Peng, Mustafa Hussain, Aarun Srinivas, Robert Wright, 
Julia M. Kim, and Mark O. Riedl.
Neuro-Symbolic World Models for Adapting to Open World Novelty
International Conference on Autonomous Agents and Multiagent Systems (2023)

MacDonald, K., Ruparelia, A., Rogers, B., Bovell, A., & Stone, B.
Binary Malware Attribution using LLM Embeddings and Topological Data Analysis
Proceedings of the Conference on Applied Machine Learning in Information Security (CAMLIS 2024)

Matthew Pruett, Andrew Zeliff, Anjali Yagnavajhala, Hudson Howie, Jake Ashmore, Jestin Keaton, Justin Hsu, Patrick Ogle
Open Bacon Fuzzer
GitHub (2024)

Jai Moondra, Phillip C. Lotshaw, Greg Mohler, Swati Gupta
Promise of Graph Sparsification and Decomposition for NoiseReduction in QAOA: Analysis for Trapped-Ion Compilations
arXiv:2406.14330 (2024)

Eaton, K., Balloch, J. C., Kim, J., & Riedl, M.
The Interpretability of Codebooks in Model-Based Reinforcement Learning is Limited. 
I Can't Believe It's Not Better Workshop: Failure Modes of Sequential Decision-Making in Practice (RLC 2024)

Zollicoffer, G., Eaton, K., Balloch, J., Kim, J., Riedl, M. O., & Wright, R. (2023). 
A Simple Way to Incorporate Novelty Detection in World Models.
arXiv:2310.08731 (2024)

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) 

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)

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)

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)

Sarkar, Anirban, BN Shivakiran Bhaktha, Jonathan Andreasen.
Replica symmetry breaking in a weakly scattering optofluidic random LASER
Scientific Reports (2020)