Results 31 to 40 of about 913 (157)
MRCC: A Practical Covert Channel Over Monero With Provable Security
IEEE Access, 2021 Covert channels are designed to protect the communication relationship of the sender and receiver. Traditional covert channels have become insecure due to the continuous improvement of traffic analysis techniques. In this context, there is an urgent need
Zhaozhong Guo +3 more
doaj +1 more source
On the Provable Security of the Dragonfly Protocol [PDF]
, 2015 Dragonfly is a password-authenticated key exchange protocol that was proposed by Harkinsi¾ź[11] in 2008. It is currently a candidate for standardization by the Internet Engineering Task Force, and would greatly benefit from a security proof. In this paper, we prove the security of a very close variant of Dragonfly in the random oracle model.
Jean Lancrenon, Marjan Skrobot
openaire +2 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 +2 more sources
General MIM Secure Two-round Authentication Protocol Based on LPN [PDF]
Jisuanji gongcheng, 2019 The LPN-based authentication protocol is simple in structure,low in computation,and resistant to quantum attacks.It is suitable for lightweight devices such as radio frequency identification,but it cannot meet the requirements of low cost and strong ...
QING Zhejia
doaj +1 more source
Security of COFB against Chosen Ciphertext Attacks
IACR Transactions on Symmetric Cryptology, 2022 COFB is a lightweight Authenticated Encryption with Associated Data (AEAD) mode based on block ciphers. It was proposed in CHES 2017 and is the basis for GIFT-COFB, a finalist in the NIST lightweight standardization project.
Mustafa Khairallah
doaj +1 more source
Security model for ID-based key exchange
Tongxin xuebao, 2010 The provable security of ID-based key exchange protocols was investigated. In the universally composable framework, the provable secure model of ID-based key exchange was proposed.
LIU Wen-ju1 +4 more
doaj +2 more sources
Stronger Security Variants of GCM-SIV
IACR Transactions on Symmetric Cryptology, 2016 At CCS 2015, Gueron and Lindell proposed GCM-SIV, a provably secure authenticated encryption scheme that remains secure even if the nonce is repeated.
Tetsu Iwata, Kazuhiko Minematsu
doaj +1 more source
A Model for Provably Secure Software Design [PDF]
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2017 Both academia and industry advocate the security by design principle to stress the importance of dealing with security from the earliest stages in software development. Nevertheless, designers often have to resort to their own knowledge and experience to pro-actively identify and mitigate potential security problems.
van den Berghe, Alexander +3 more
openaire +2 more sources
Provably Secure Metering Scheme [PDF]
, 2000 Naor and Pinkas introduced metering schemes at Eurocrypt '98 in order to decide on advertisement fees for web servers. In the schemes, any server should be able to construct a proof to be sent to an audit agency if and only if it has been visited by at least a certain number, say k, of clients.
Wakaha Ogata, Kaoru Kurosawa
openaire +1 more source
Provable image encryption scheme via trapdoor permutation
IET Image Processing, 2023 Nowadays, due to the advancement in networks, it has become easy to share multimedia information such as images, voice, and videos in real‐time. In the process of multimedia storage and transmission, it is crucial to ensure the security and privacy of ...
Dongmei Li, Haikuan Liu
doaj +1 more source