Simplifications of security proofs for cryptographic protocols

Takahiro Kubota, Yoshihiko Kakutani, Go Kato +2 more

James W. Gray, Kin Fai Epsilon Ip, King‐Shan Lui

We develop an approach to deriving concrete engineering advice for cryptographic protocols from provable-security-style proofs of security. The approach is illustrated with a simple, yet useful protocol. The proof is novel and is the first published proof that provides an exact relationship between a high level protocol and multiple cryptographic primitives.

Bartosz Przydatek

Richard A. DeMillo, Nancy Ann Lynch, Michael Merritt

James W. Gray, Kin Fai Epsilon Ip, King‐Shan Lui

We develop an approach to deriving concrete engineering advice for cryptographic protocols from provable-security-style proofs of security. The approach is illustrated with a simple, yet useful protocol. Our main result provides the first published proof of an exact probabilistic relationship betwe en a high-level protocol and multiple cryptographic primitives. This exact relationship enables us to rigorously derive concrete recommendations on the bitlengths of cryptographic keys and on how often principals should rekey. As an additional benefit of our approach, the process of developing our theorem and proof lead us to identify and implement an improvement in our example protocol.

Ling Dong, Kefei Chen