Linicrypt in the Ideal Cipher Model

ePrint Report: Linicrypt in the Ideal Cipher Model

Zahra Javar, Bruce M. Kapron

We extend the Linicrypt framework for characterizing hash function security as proposed by McQuoid, Swope, and Rosulek (TCC 2018) to support constructions in the ideal cipher model.
In this setting, we give a characterization of collision- and second-preimage-resistance in terms of a linear-algebraic condition on Linicrypt programs, and present an efficient algorithm for determining whether a program satisfies the condition. As an application, we consider the case …

bruce cipher collision eprint report framework function hash hash function report security support tcc terms