Ziyuan Meng

According to our database, Ziyuan Meng authored at least 3 papers between 2011 and 2025.

Collaborative distances:

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

2025

Software Quality Assurance and AI: A Systems-Theoretic Approach to Reliability, Safety, and Security.

Joseph R. Laracy, Ziyuan Meng, Vassilka D. Kirova, Cyril S. Ku, Thomas J. Marlowe

Softw., 2025

2016

Short Paper: Bounding Information Leakage Using Implication Graph.

Ziyuan Meng

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2011

Calculating bounds on information leakage using two-bit patterns.

Ziyuan Meng, Geoffrey Smith

Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, 2011