1. An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols

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

10.22108/jcs.2019.113429.1011

Hamid Reza Mahrooghi; Rasool Jalili

• View Article
• PDF 1.13 MB

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

• View Article
• PDF 2.41 MB

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

• View Article
• PDF 1.9 MB