Author = Jalili, Rasool
Number of Articles: 3
1. An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols

Volume 6, Issue 1, Winter and Spring 2019, Pages 25-42


Hamid Reza Mahrooghi; Rasool Jalili

2. An Inference Resistant Indexing Technique to Enforce Access Control in Data Outsourcing

Volume 3, Issue 2, Winter and Spring 2016, Pages 83-93

Hadi Halvachi; Mohammad Ali Hadavi; Rasool Jalili

3. Privacy-Preserving Fine-grained Correctness Verification of Query Results in Outsourced Databases

Volume 2, Issue 2, Winter and Spring 2015, Pages 87-107

Mohammad Ali Hadavi; Rasool Jalili; Javad Ghareh Chamani