×

NAXOS

swMATH ID: 3050
Software Authors: Berkant Ustaoglu; LaMacchia; Lauter; Mityagin
Description: LaMacchia, Lauter and Mityagin recently presented a strong security definition for authenticated key agreement strengthening the well-known Canetti-Krawczyk definition. They also described a protocol, called NAXOS, that enjoys a simple security proof in the new model. Compared to MQV and HMQV, NAXOS is less efficient and cannot be readily modified to obtain a one-pass protocol. On the other hand MQV does not have a security proof, and the HMQV security proof is extremely complicated. This paper proposes a new authenticated key agreement protocol, called CMQV (‘Combined’ MQV), which incorporates design principles from MQV, HMQV and AXOS. The new protocol achieves the efficiency of HMQV and admits a natural one-pass variant. Moreover, we present a relatively simple and intuitive proof that CMQV is secure in the LaMacchia-Lauter-Mityagin model.
Homepage: http://www.springerlink.com/content/y007415j7552248q/fulltext.pdf
Related Software: HMQV; CMQV+; GitHub; liboqs; Curve25519; FrodoKEM; ASPIER; KEM-DEM; SeaSign; miTLS; Charm; EasyCrypt; FORSAKES; McEliece; Poly1305-AES; scyther
Cited in: 82 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Obtaining a secure and efficient key agreement protocol from (H)MQV and NAXOS. Zbl 1178.94205
Ustaoglu, Berkant
2008
all top 5

Cited by 135 Authors

9 Stebila, Douglas
9 Yoneyama, Kazuki
8 Ustaoglu, Berkant
6 Boyd, Colin A.
5 Cremers, Cas J. F.
5 Fujioka, Atsushi
5 González Nieto, Juan Manuel
4 Alawatugoda, Janaka
4 Chatterjee, Sanjit
4 Jager, Tibor
4 Menezes, Alfred J.
4 Mu, Yi
4 Suzuki, Koutarou
4 Yang, Guomin
3 Kohlar, Florian
3 Okamoto, Tatsuaki
3 Schäge, Sven
3 Schwenk, Jorg
2 Chen, Gongliang
2 Chen, Rongmao
2 Dowling, Benjamin
2 Feltz, Michèle
2 Fischlin, Marc
2 Gorantla, M. Choudary
2 Günther, Felix
2 Guo, Fuchun
2 Hao, Yanyan
2 Huang, Hai
2 Li, Jianhua
2 Liang, Kaitai
2 Manulis, Mark
2 Ni, Liang
2 Ohta, Kazuo
2 Susilo, Willy
2 Tian, Yangguang
2 Xagawa, Keita
2 Yao, David D. W.
2 Yu, Yong
1 Abdalla, Michel
1 Aikawa, Yusuke
1 Bajard, Jean-Claude
1 Basin, David A.
1 Bindel, Nina
1 Brendel, Jacqueline
1 Bresson, Emmanuel
1 Brzuska, Chris
1 Cao, Zhenfu
1 Chakraborty, Suvradip
1 Chen, Jianhua
1 Cheng, Qingfeng
1 Chevalier, Céline
1 Choo, Kim-Kwang Raymond
1 Cohn-Gordon, Katriel
1 Coron, Jean-Sébastien
1 Daniel, Renu Mary
1 Davis, Hannah
1 de Kock, Bor
1 Deng, Lunzhi
1 Dousti, Mohammad Sadeq
1 Elbaz-Vincent, Philippe
1 Gao, Ronghai
1 Garratt, Luke
1 Gjøsteen, Kristian
1 Goldberg, Ian
1 Gu, Dawu
1 Hale, Britta
1 Hashimoto, Keitaro
1 He, Debiao
1 Ioannou, Lawrence M.
1 Ishibashi, Ren
1 Jacobsen, Håkon
1 Jalili, Rasool
1 Janson, Christian
1 Jin, Zhengping
1 Katsumata, Shuichi
1 Kawashima, Tomoki
1 Kılınç, Handan
1 Kuppusamy, Lakshmi
1 Kwiatkowski, Kris
1 LaMacchia, Brian A.
1 Lauer, Sebastian
1 Lauter, Kristin Estella
1 LeGrow, Jason Travis
1 Li, Hui
1 Li, Jie
1 Li, Shuangqing
1 Lippold, Georg
1 Lv, Fengju
1 Ma, Chuangui
1 Meng, Keju
1 Miao, Fuyou
1 Mityagin, Anton
1 Miyagawa, Satoshi
1 Moriyama, Daisuke
1 Mosca, Michele
1 Nam, Junghyun
1 Nose, Peter
1 Ota, Haruki
1 Padhye, Sahadeo
1 Pan, Jiaxin
...and 35 more Authors
all top 5

Cited in 14 Serials

9 Designs, Codes and Cryptography
4 Information Sciences
4 Journal of Cryptology
3 Journal of Mathematical Cryptology
2 Computers and Electrical Engineering
2 Information Processing Letters
2 International Journal of Applied Cryptography
2 Science China. Information Sciences
1 Computers & Mathematics with Applications
1 Information and Computation
1 International Journal of Foundations of Computer Science
1 Mathematical Problems in Engineering
1 Advances in Mathematics of Communications
1 Frontiers of Computer Science

Cited in 5 Fields

82 Information and communication theory, circuits (94-XX)
26 Computer science (68-XX)
5 Quantum theory (81-XX)
3 Algebraic geometry (14-XX)
1 Number theory (11-XX)

Citations by Year