Coherent functions and program checkers

Andrew Chi-Chih Yao

Coherent functions and program checkers

Andrew Chi-Chih Yao

Faculty of Electronic and Information Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

65 Scopus citations

Abstract

Functions 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 time-memory tradeoff for inverting random functions.

Original language	English
Title of host publication	Proc 22nd Annu ACM Symp Theory Comput
Publisher	Publ by ACM
Pages	84-94
Number of pages	11
ISBN (Print)	0897913612
State	Published - 1990
Event	Proceedings of the 22nd Annual ACM Symposium on Theory of Computing - Baltimore, MD, USA Duration: 14 May 1990 → 16 May 1990

Publication series

Name	Proc 22nd Annu ACM Symp Theory Comput

Conference

Conference	Proceedings of the 22nd Annual ACM Symposium on Theory of Computing
City	Baltimore, MD, USA
Period	14/05/90 → 16/05/90

Cite this

@inproceedings{e4da3e85c2164757b05ed486b329a1ec,

title = "Coherent functions and program checkers",

abstract = "Functions 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 time-memory tradeoff for inverting random functions.",

author = "\{Chi-Chih Yao\}, Andrew",

year = "1990",

language = "英语",

isbn = "0897913612",

series = "Proc 22nd Annu ACM Symp Theory Comput",

publisher = "Publ by ACM",

pages = "84--94",

booktitle = "Proc 22nd Annu ACM Symp Theory Comput",

note = "Proceedings of the 22nd Annual ACM Symposium on Theory of Computing ; Conference date: 14-05-1990 Through 16-05-1990",

}

TY - GEN

T1 - Coherent functions and program checkers

AU - Chi-Chih Yao, Andrew

PY - 1990

Y1 - 1990

N2 - Functions 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 time-memory tradeoff for inverting random functions.

AB - Functions 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 time-memory tradeoff for inverting random functions.

UR - https://www.scopus.com/pages/publications/0024984430

M3 - 会议稿件

AN - SCOPUS:0024984430

SN - 0897913612

T3 - Proc 22nd Annu ACM Symp Theory Comput

SP - 84

EP - 94

BT - Proc 22nd Annu ACM Symp Theory Comput

PB - Publ by ACM

T2 - Proceedings of the 22nd Annual ACM Symposium on Theory of Computing

Y2 - 14 May 1990 through 16 May 1990

ER -

Coherent functions and program checkers

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this