Cryptology ePrint Archive: Report 2017/288

Security of Symmetric Primitives under Incorrect Usage of Keys

Pooya Farshim and Claudio Orlandi and Răzvan Roşie

Abstract: We study the security of symmetric primitives under the incorrect usage of keys. Roughly speaking, a key-robust scheme does not output ciphertexts/tags that are valid with respect to distinct keys. Key-robustness is a notion that is often tacitly expected/assumed in protocol design as is the case with anonymous auction, oblivious transfer, or public-key encryption. We formalize simple, yet strong definitions of key robustness for authenticated-encryption, message-authentication codes and PRFs. We show standard notions (such as AE or PRF security) guarantee a basic level of key-robustness under honestly generated keys, but fail to imply key-robustness under adversarially generated (or known) keys. We show robust encryption and MACs compose well through generic composition, and identify robust PRFs as the main primitive used in building robust schemes. Standard hash functions are expected to satisfy key-robustness and PRF security, and hence suffice for practical instantiations. We however provide further theoretical justifications (in the standard model) by constructing robust PRFs from (left-and-right) collision-resistant PRGs.

Category / Keywords: incorrect key usage, key-robustness, authenticated encryption, MAC, generic composition, collision-resistant PRF, collision-resistant PRG

Original Publication (with minor differences): IACR-FSE-2017
DOI:
10.13154/tosc.v2017.i1.449-473

Date: received 29 Mar 2017

Contact author: razvan rosie at ens fr

Available format(s): PDF | BibTeX Citation

Version: 20170403:153146 (All versions of this report)

Short URL: ia.cr/2017/288

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]