Uncheatable Benchmarks
Uncheatable Benchmarks
批准号:
9304718
负责人:
Richard Lipton
金额:
$27.83万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1993
资助国家:
美国
项目状态:
已结题
起止时间:
1993-08-15 至 1997-01-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Benchmarks have been used to test everything from the speed of a processor to the access time of a memory system. The computing community relies on them to assess how fast a given hardware or software system operates. They are of importance in everyday computing. However, until now, the study of the art of designing a good benchmark has focused on making the benchmark ``realistic'' in predicting how well it will perform for the intended applications; the issue of making benchmark results trustworthy has been relegated to ``trusted'' or third party agents, and little attention has been paid to the question of making benchmarks themselves ``uncheatable.'' The project studies the problem of how to make benchmarks resistant to tampering and hence more trustworthy. The plan is to use modern cryptography and complexity theory to make this possible. Basically the trust in individuals and organizations will be replaced by trust in the impossibility of breaking certain computational problems. The advantage of this approach is clear: the schemes will be scientifically trustworthy. There is an array of problems that need to be formulated and solved, which are important in making uncheatable benchmarks; some are practical issues, some are theoretical.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SGER: A Proposal For Research Into The Jacobians Of Graphs
-
批准号:0902717
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2009
-
负责人:Richard Lipton
-
依托单位:
SGER: Routing and Topology for a New Internet
-
批准号:0731704
-
项目类别:Standard Grant
-
资助金额:$4.5万
-
财政年份:2007
-
负责人:Richard Lipton
-
依托单位:
Research Into the Complexity Theory of Games and Polynomials
-
批准号:0431023
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2004
-
负责人:Richard Lipton
-
依托单位:
Research Into Foundations of Computational Complexity
-
批准号:0002299
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2000
-
负责人:Richard Lipton
-
依托单位:
Proposal for Research on Fault Resistant Cryptography and the Hardness of Factoring
-
批准号:9700283
-
项目类别:Standard Grant
-
资助金额:$32.63万
-
财政年份:1997
-
负责人:Richard Lipton
-
依托单位:
SGER: Proposal for Research on DNA Based Computation
-
批准号:9633103
-
项目类别:Standard Grant
-
资助金额:$5.49万
-
财政年份:1996
-
负责人:Richard Lipton
-
依托单位:
A Proposal for Research in Testing
-
批准号:9008247
-
项目类别:Standard Grant
-
资助金额:$4.99万
-
财政年份:1990
-
负责人:Richard Lipton
-
依托单位:
The Massive Memory Machine Project
-
批准号:8420948
-
项目类别:Cooperative Agreement
-
资助金额:$212.41万
-
财政年份:1985
-
负责人:Richard Lipton
-
依托单位:
Resource Trade-Off Models (Computer Research)
-
批准号:8308827
-
项目类别:Continuing Grant
-
资助金额:$7.53万
-
财政年份:1983
-
负责人:Richard Lipton
-
依托单位:
Secure Computation
-
批准号:8023805
-
项目类别:Standard Grant
-
资助金额:$1.67万
-
财政年份:1980
-
负责人:Richard Lipton
-
依托单位:
Computational Complexity
-
批准号:8023806
-
项目类别:Continuing Grant
-
资助金额:$7.41万
-
财政年份:1980
-
负责人:Richard Lipton
-
依托单位:
Computational Complexity
-
批准号:7920409
-
项目类别:Continuing Grant
-
资助金额:$3.39万
-
财政年份:1979
-
负责人:Richard Lipton
-
依托单位:
Collaborative Research on Secure Computation
-
批准号:7712517
-
项目类别:Continuing Grant
-
资助金额:$4.72万
-
财政年份:1977
-
负责人:Richard Lipton
-
依托单位:
Computational Complexity
-
批准号:7681486
-
项目类别:Standard Grant
-
资助金额:$3.43万
-
财政年份:1977
-
负责人:Richard Lipton
-
依托单位:
Collaborative Research on the Theory of Protected Data Bases
-
批准号:7424193
-
项目类别:Standard Grant
-
资助金额:$2.92万
-
财政年份:1975
-
负责人:Richard Lipton
-
依托单位:
Limitations and Capabilities of Synchronization Primitives
-
批准号:7412870
-
项目类别:Standard Grant
-
资助金额:$2.27万
-
财政年份:1975
-
负责人:Richard Lipton
-
依托单位:
海外基金