On security aspects of CRISP

ePrint Report: On security aspects of CRISP

Vitaly Kiryukhin

Using the provable security approach, we analyze CRISP – a standardized Russian cryptographic protocol that aims to ensure confidentiality, integrity of transmitted messages, as well as protection against replay attacks. The protocol is considered as a specific mode of authenticated encryption with associated data (AEAD). We take into account that one key can be used by many protocol's participants and in different cipher suites. We impose requirements for the set of …

aead attacks confidentiality cryptographic data encryption eprint report integrity messages mode protection protocol provable security replay report russian security