POSTER: Towards Precise and Automated Verification of Security Protocols in Coq. - Hernan M. Palombo; Hao Zheng 001; Jay Ligatti (CCS, 2017)

A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug. - Yuting Cao; Hao Zheng 001; Hernan M. Palombo; Sandip Ray; Jin Yang 006 (ICCD, 2017)

Enhancing Observability for Post-Silicon Debug with On-chip Communication Monitors. - Yuting Cao; Hernan M. Palombo; Sandip Ray; Hao Zheng 001 (ISVLSI, 2018)

Stream-Monitoring Automata. - Hernan M. Palombo; Egor Dolzhenko; Jay Ligatti; Hao Zheng 001 (ICSCA, 2020)

An Ethnographic Understanding of Software (In)Security and a Co-Creation Model to Improve Secure Software Development. - Hernan M. Palombo; Armin Ziaie Tabari; Daniel Lende; Jay Ligatti; Xinming Ou (SOUPS @ USENIX Security Symposium, 2020)

Models of Secure Software Enforcement and Development. - Hernan M. Palombo (2020)