Ahn, Sunha, Sharad Malik, and Aarti Gupta. 2015. “Completeness Bounds and Sequentialization for Model Checking of Interacting Firmware and Hardware”. In Proceedings of the 10th International Conference on Hardware Software Codesign and System Synthesis, 202–211. IEEE Press.

Ahn, Sunha, and Sharad Malik. 2014. “Automated Firmware Testing Using Firmware-Hardware Interaction Patterns”. In Proceedings of the 2014 International Conference on Hardware Software Codesign and System Synthesis, 25. ACM.

Ahn, Sunha, and Sharad Malik. 2013. “Modeling Firmware As Service Functions and Its Application to Test Generation”. In Haifa Verification Conference, 61–77. Springer International Publishing.