According to our database1, Zeinab Ganjei authored at least 9 papers between 2012 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Networked Systems - 8th International Conference, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
Int. J. Softw. Tools Technol. Transf., 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015
Verification of Cache Coherence Protocols wrt. Trace Filters.
Proceedings of the Formal Methods in Computer-Aided Design, 2015
AS5: A Secure Searchable Secret Sharing Scheme for Privacy Preserving Database Outsourcing.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012