Zachary B. Ratliff

According to our database, Zachary B. Ratliff authored at least 6 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems.

Joud Khoury, Minyoung Kim, Christophe Merlin, José Meseguer, Zachary B. Ratliff, Carolyn L. Talcott

CoRR, March, 2026

2021

Towards Decentralized and Provably Secure Cross-Domain Solutions.

Joud Khoury, Zachary B. Ratliff, Michael Atighetchi

Proceedings of the Security and Trust Management - 17th International Workshop, 2021

2020

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

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

Detecting Vulnerabilities in Android Applications using Event Sequences.

Zachary B. Ratliff, D. Richard Kuhn, Daniel J. Ragsdale

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2016

The Relationship between Software Bug Type and Number of Factors Involved in Failures.

Zachary B. Ratliff, D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Kishor S. Trivedi

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016