Provable Secure Parallel Gadgets by Francesco Berti, Sebastian Faust, Maximilian Orlt

“…This results in a compiler provable secure up to a noise level of O(1) for affine circuits and O(1/√n) in general. …”
Get full text

Advances of Provable Security Techniques by Yong Yu, Yi Mu

Get full text

Provably Secure Covert Communication on Blockchain by Juha Partala

Get full text

Provably secure authentication for the internet of vehicles by E Haodudin Nurkifli, Tzonelih Hwang

Get full text

Provably secure randomized AAβ cryptosystem by Asbullah, Muhammad Asyraf, Kamel Ariffin, Muhammad Rezal

“…We also present provable security elements for the randomized AAβ cryptosystem with emphasis given to the standard security against strongest attack model, namely the chosen-ciphertext attack. …”
Get full text

Efficient and Provable Security Searchable Asymmetric Encryption in the Cloud by Jianyi Zhang, Chenggen Song, Zhiqiang Wang, Tao Yang, Wenming Ma

Get full text

Provable security against generic attacks on stream ciphers by Moch Alexander

Subjects: Get full text

Provably secure social network privacy-preserving scheme by Jian-qiong HE,You-liang TIAN, Kai ZHOU

Subjects: “…provable secure…”
Get full text

Provably secure Rabin-p cryptosystem in hybrid setting by Asbullah, Muhammad Asyraf, Kamel Ariffin, Muhammad Rezal

“…In this work, we design an efficient and provably secure hybrid cryptosystem depicted by a combination of the Rabin-p cryptosystem with an appropriate symmetric encryption scheme. …”
Get full text

An efficient and provable secure revocable identity-based encryption scheme. by Changji Wang, Yuan Li, Xiaonan Xia, Kangjia Zheng

Get full text

Provably-secure quantum randomness expansion with uncharacterised homodyne detection by Chao Wang, Ignatius William Primaatmaja, Hong Jie Ng, Jing Yan Haw, Raymond Ho, Jianran Zhang, Gong Zhang, Charles Lim

Get full text

Provably Secure Data Access Control Protocol for Cloud Computing by Ji Zhang, Anmin Chen, Ping Zhang

“…In this respect, in this paper, a provably secure user cloud data access control protocol (DAC) is proposed based on existing cloud storage. …”
Get full text

Provably Secure Symmetric Private Information Retrieval with Quantum Cryptography by Wen Yu Kon, Charles Ci Wen Lim

Get full text

An efficient and provably secure certificateless protocol for the power internet of things by Kehe Wu, Jiyu Zhang, Xiaochen Jiang, Rui Cheng, Xiaoliang Zhang, Jie Tong

Subjects: Get full text

Improved Asymmetric Cipher Based on Matrix Power Function with Provable Security by Eligijus Sakalauskas, Aleksejus Mihalkovich, Algimantas Venčkauskas

Get full text

A Provable Secure and Efficient Authentication Framework for Smart Manufacturing Industry by Muhammad Hammad, Akhtar Badshah, Ghulam Abbas, Hisham Alasmary, Muhammad Waqas, Wasim Ahmed Khan

Get full text

An efficient and provably secure key agreement scheme for satellite communication systems. by Yuanyuan Zhang, Zhibo Zhai

“…In this study, we design an efficient and provably secure key agreement scheme for satellite communication systems. …”
Get full text

Efficient and Provably Secure Key Agreement for Modern Smart Metering Communications by An Braeken, Pardeep Kumar, Andrew Martin

“…To remedy the problem, we present a new provably secure key agreement model for smart metering communications. …”
Get full text

Provably secure authentication protocol for traffic exchanges in unmanned aerial vehicles by Vincent Omollo Nyangaresi

Get full text

Provably Secure Multi-Server Authentication Protocol Using Fuzzy Commitment by Subhas Barman, Ashok Kumar Das, Debasis Samanta, Samiran Chattopadhyay, Joel J. P. C. Rodrigues, Youngho Park

Get full text