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

Hamid Reza Mahrooghi; Rasool Jalili

Volume 6, Issue 1 , January 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
An Inference Resistant Indexing Technique to Enforce Access Control in Data Outsourcing

Hadi Halvachi; Mohammad Ali Hadavi; Rasool Jalili

Volume 3, Issue 2 , April 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
Privacy-Preserving Fine-grained Correctness Verification of Query Results in Outsourced Databases

Mohammad Ali Hadavi; Rasool Jalili; Javad Ghareh Chamani

Volume 2, Issue 2 , April 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