Results 1 to 10 of about 2,867 (293)
Advances of Provable Security Techniques [PDF]
Journal of Universal Computer Science, 2019 Advances of Provable Security ...
Yong Yu, Yi Mu
doaj +6 more sources
Provable Security of SP Networks with Partial Non-Linear Layers
IACR Transactions on Symmetric Cryptology, 2021 Motivated by the recent trend towards low multiplicative complexity blockciphers (e.g., Zorro, CHES 2013; LowMC, EUROCRYPT 2015; HADES, EUROCRYPT 2020; MALICIOUS, CRYPTO 2020), we study their underlying structure partial SPNs, i.e., Substitution ...
Chun Guo +4 more
doaj +2 more sources
Fundamental problems in provable security and cryptography [PDF]
Philosophical Transactions Series A, Mathematical, Physical, and Engineering Sciences, 2006 This paper examines methods for formally proving the security of cryptographic schemes. We show that, despite many years of active research, there are fundamental problems which have yet to be solved.
Alexander W Dent
exaly +2 more sources
Provable security EPC information service communication scheme for EPC network [PDF]
Tongxin xuebao, 2013 To resolve the security drawbacks of EPC information services, a provable security EPC information service communication scheme—ESCM was designed. By using some cryptographic mechanisms such as the digital signature and the message authentication code ...
Jing-feng LI, Heng PAN, Wei-feng GUO
doaj +4 more sources
QUAD: A multivariate stream cipher with provable security
Journal of Symbolic Computation, 2009 In this paper we present the stream cipher QUAD and the provable security arguments supporting its conjectured strength for suitable parameter values. QUAD was first proposed at Eurocrypt 2006 by Berbain and co-workers [Berbain, C., Gilbert, H., Patarin,
Come Berbain, Jacques Patarin
exaly +2 more sources
Security Analysis of a Certificateless Provable Data Possession Scheme in Cloud
IEEE Access, 2019 He et al. proposed a certificateless provable data possession protocol for big data storage on cloud. They claimed that the scheme is not only secure, but also can achieve data integrity checking without downloading the stored data from the cloud server.
Yongjian Liao +2 more
exaly +3 more sources
EPN:encryption padding for NTRU with provable security
Tongxin xuebao, 2008 Known as the fastest public key cryptosystem available now,the provable security of NTRU has not been solved well.an encryption padding,called EPN was designed,for NTRU.Under the full domain one wayness assumption of NTRU,EPN had been proved ...
MU Ning-bo, HU Yu-pu, WANG Bao-cang
doaj +3 more sources
Provable Security and Indifferentiability [PDF]
, 2012 In this thesis we consider different problems related to provable security and indifferentiability framework. Ideal primitives such as random oracles, ideal ciphers are theoretical abstractions of cryptographic hash functions and block ciphers ...
MANDAL, Avradip, Avradip Mandal
core +2 more sources
Provable Security of Linux-DRBG in the Seedless Robustness Model [PDF]
Lecture Notes in Computer ScienceThis paper studies the provable security of the deterministic random bit generator~(DRBG) utilized in Linux 6.4.8, marking the first analysis of Linux-DRBG from a provable security perspective since its substantial structural changes in Linux 4 and Linux
Hwigyeom Kim +2 more
exaly +1 more source
Provable Secure Delegation Computing Protocol Based on Privacy Protection [PDF]
Jisuanji gongcheng, 2021 Cloud-based delegation computing services can provide tremendous savings in time and computation costs for the delegate,but their privacy and provable security problems remain challenging.This paper combines fully homomorphic encryption and multi-linear ...
LI Qiuxian, ZHOU Quanxing, WANG Zhenlong, DING Hongfa, PAN Qixin
doaj +1 more source