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
-
依托单位:
海外基金