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

Hamid Reza Mahrooghi; Rasool Jalili

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

http://dx.doi.org/10.22108/jcs.2019.113429.1011

Abstract
  CryptoPAi is a hybrid operational-epistemic framework for specification and analysis of security protocols with genuine support for cryptographic constructs. This framework includes ...  Read More
An Inference Resistant Indexing Technique to Enforce Access Control in Data Outsourcing
2. An Inference Resistant Indexing Technique to Enforce Access Control in Data Outsourcing

Hadi Halvachi; Mohammad Ali Hadavi; Rasool Jalili

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

Abstract
  Although data outsourcing provides many benefits, it suffers from privacy and security concerns such as enforcement of access control policies and confidentiality of stored sensitive ...  Read More
Privacy-Preserving Fine-grained Correctness Verification of Query Results in Outsourced Databases
3. Privacy-Preserving Fine-grained Correctness Verification of Query Results in Outsourced Databases

Mohammad Ali Hadavi; Rasool Jalili; Javad Ghareh Chamani

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

Abstract
  Adoption of data outsourcing to cloud servers is hindered by data integrity issues due to the lack of trust to the servers. Existing solutions to deal with the problem often require ...  Read More