搜索结果: 1-4 共查到“密码学 One-round key exchange”相关记录4条 . 查询时间(0.187 秒)
A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange
Oblivious transfer universal composability key exchange
2019/6/21
Oblivious transfer is one of the main pillars of modern cryptography and plays a major role as a building block for other more complex cryptographic primitives. In this work, we present an efficient a...
One-Round Key Exchange with Strong Security: An Efficient and Generic Construction in the Standard Model
One-round key exchange eCK security provable security
2016/1/5
One-round authenticated key exchange (ORKE) is an established research area, with many prominent protocol constructions like HMQV (Krawczyk, CRYPTO 2005) and Naxos (La Macchia et al., ProvSec 2007), a...
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols
Provable Security Security Protocols EasyCrypt
2016/1/4
Using EasyCrypt, we formalize a new modular security proof for one-round authenticated key exchange protocols in the random oracle model. Our proof improves earlier work by Kudla and Paterson (ASIACRY...
We consider one-round key exchange protocols secure in the standard model.
The security analysis uses the powerful security model of Canetti and Krawczyk and a
natural extension of it to the ID-base...