ORIGINAL RESEARCH PAPER
2. A Trust Based Probabilistic Method for Efficient Correctness Verification in Database Outsourcing

Simin Ghasemi; Mohammad Ali Hadavi; Mina Niknafs

Volume 11, Issue 1 , Winter and Spring 2019, Pages 3-14

http://dx.doi.org/10.22042/isecure.2018.141655.426

Abstract
  Correctness verification of query results is a significant challenge in database outsourcing. Most of the proposed approaches impose high overhead, which makes them impractical in real scenarios. Probabilistic approaches are proposed in order to reduce the computation overhead pertaining to the verification ...  Read More

ORIGINAL RESEARCH PAPER
3. SESOS: A Verifiable Searchable Outsourcing Scheme for Ordered Structured Data in Cloud Computing

Javad Ghareh Chamani; Mohammad Sadeq Dousti; Rasool Jalili; Dimitrios Papadopoulos

Volume 11, Issue 1 , Winter and Spring 2019, Pages 15-34

http://dx.doi.org/10.22042/isecure.2019.148637.430

Abstract
  While cloud computing is growing at a remarkable speed, privacy issues are far from being solved. One way to diminish privacy concerns is to store data on the cloud in encrypted form. However, encryption often hinders useful computation cloud services. A theoretical approach is to employ the so-called ...  Read More

ORIGINAL RESEARCH PAPER
4. Lightweight 4x4 MDS Matrices for Hardware-Oriented Cryptographic Primitives

Akbar Mahmoodi Rishakani; Mohammad Reza Mirzaee Shamsabad; S. M. Dehnavi; Mohammad Amin Amiri; Hamidreza Maimani; Nasour Bagheri

Volume 11, Issue 1 , Winter and Spring 2019, Pages 35-46

http://dx.doi.org/10.22042/isecure.2018.138301.421

Abstract
  Linear diffusion layer is an important part of lightweight block ciphers and hash functions. This paper presents an efficient class of lightweight 4x4 MDS matrices such that the implementation cost of them and their corresponding inverses are equal. The main target of the paper is hardware oriented cryptographic ...  Read More

ORIGINAL RESEARCH PAPER
5. Secure FPGA Design by Filling Unused Spaces

Mansoureh Labbafniya; Roghaye Saeidi

Volume 11, Issue 1 , Winter and Spring 2019, Pages 47-56

http://dx.doi.org/10.22042/isecure.2019.143657.427

Abstract
  Nowadays there are different kinds of attacks on Field Programmable Gate Array (FPGA). As FPGAs are used in many different applications, its security becomes an important concern, especially in Internet of Things (IoT) applications. Hardware Trojan Horse (HTH) insertion is one of the major security threats ...  Read More

ORIGINAL RESEARCH PAPER
6. Biclique Cryptanalysis of Block Ciphers LBlock and TWINE-80 with Practical Data Complexity

Siavash Ahmadi; Zahra Ahmadian; Javad Mohajeri; Mohammad Reza Aref

Volume 11, Issue 1 , Winter and Spring 2019, Pages 57-74

http://dx.doi.org/10.22042/isecure.2018.138036.420

Abstract
  In the biclique attack, a shorter biclique usually results in less data complexity, but at the expense of more computational complexity. The early abort technique can be used in partial matching part of the biclique attack in order to slightly reduce the computations. In this paper, we make use of this ...  Read More

ORIGINAL RESEARCH PAPER
7. A New Ring-Based SPHF and PAKE Protocol On Ideal Lattices

Reza Ebrahimi Atani; Shahabaddin Ebrahimi Atani; Amir Hassani Karbasi

Volume 11, Issue 1 , Winter and Spring 2019, Pages 75-86

http://dx.doi.org/10.22042/isecure.2018.109810.398

Abstract
  \emph{ Smooth Projective Hash Functions } ( SPHFs ) as a specific pattern of zero knowledge proof system are fundamental tools to build many efficient cryptographic schemes and protocols. As an application of SPHFs, \emph { Password - Based Authenticated Key Exchange } ( PAKE ) protocol is well-studied ...  Read More