Coherent functions and program checkers
Andrew Chi-Chih Yao · 1990
to program checking and other subjects.Unctions whose value at one point can be interpolated from values at other points have occupied a special place in cryptography.In this paper we will develop a general concept of "coherence" to capture this property and show its applications to several models of program checking.The concept and techniques also have applications in Hellman's timememory tradeoff for inverting random functions.