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

Volume 6, Issue 1, January 2019, Pages 25-42

10.22108/jcs.2019.113429.1011

Hamid Reza Mahrooghi; Rasool Jalili

• View Article
• PDF 1.13 M

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

Volume 3, Issue 2, April 2016, Pages 83-93

Hadi Halvachi; Mohammad Ali Hadavi; Rasool Jalili

• View Article
• PDF 2.41 M

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

Volume 2, Issue 2, April 2015, Pages 87-107

Mohammad Ali Hadavi; Rasool Jalili; Javad Ghareh Chamani

• View Article
• PDF 1.9 M