The Relationship between Software Bug Type and Number of Factors Involved in Failures. - Zachary B. Ratliff; D. Richard Kuhn; Raghu N. Kacker; Yu Lei 001; Kishor S. Trivedi (ISSRE Workshops, 2016)

Detecting Vulnerabilities in Android Applications using Event Sequences. - Zachary B. Ratliff; D. Richard Kuhn; Daniel J. Ragsdale (QRS, 2019)

SNARKs to the rescue: proof-of-contact in zero knowledge. - Zachary B. Ratliff; Joud Khoury (CoRR, 2020)

Private resource allocators and their applications. - Sebastian Angel; Sampath Kannan; Zachary B. Ratliff (IACR Cryptol. ePrint Arch., 2020)

Towards Decentralized and Provably Secure Cross-Domain Solutions. - Joud Khoury; Zachary B. Ratliff; Michael Atighetchi (STM, 2021)