Volume 7 (2020)
Volume 6 (2019)
Volume 5 (2018)
Volume 4 (2017)
Volume 3 (2016)
Volume 2 (2015)
Volume 1 (2014)
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
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 More2. An Inference Resistant Indexing Technique to Enforce Access Control in Data Outsourcing
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 More3. Privacy-Preserving Fine-grained Correctness Verification of Query Results in Outsourced Databases
Volume 2, Issue 2 , Winter and Spring 2015, , Pages 87-107