A simple and unified method of proving indistinguishability

  • Authors:
  • Mridul Nandi

  • Affiliations:
  • David R. Cheriton School of Computer Science, University of Waterloo, Canada

  • Venue:
  • INDOCRYPT'06 Proceedings of the 7th international conference on Cryptology in India
  • Year:
  • 2006

Quantified Score

Hi-index 0.02

Visualization

Abstract

Recently Bernstein [4] has provided a simpler proof of indistinguishability of CBC construction [3] which is giving insight of the construction. Indistinguishability of any function intuitively means that the function behaves very closely to a uniform random function. In this paper we make a unifying and simple approach to prove indistinguishability of many existing constructions. We first revisit Bernstein's proof. Using this idea we can show a simpler proof of indistinguishability of a class of DAG based construction [8], XCBC [5], TMAC [9], OMAC [7] and PMAC [6]. We also provide a simpler proof for stronger bound of CBC [1] and a simpler proof of security of on-line Hash-CBC [2]. We note that there is a flaw in the security proof of Hash-CBC given in [2]. This paper will help to understand security analysis of indistinguishability of many constructions in a simpler way.