宣布Crytic 1万美元研究奖 - Trail of Bits博客

Trail of Bits博客
宣布Crytic 1万美元研究奖
Trail of Bits
2019年11月13日
区块链, 论文评审, 新闻发布, 研究实践

在Trail of Bits，我们致力于与学术界保持同步。我们经常通过同行评审会议评估工作，并热衷参与学术活动（参见我们最近的ICSE和Crypto回顾）。

然而，在这些学术活动中，我们持续发现一个反复出现的问题：缺乏可靠的工具和实验。研究人员没有维护工具的动机，且大多数时候缺乏必要的工程资源。这正是Trail of Bits的用武之地：我们投入大量精力维护以研究为导向的开源工具，希望研究人员能从我们的工作中受益。

现在，为了鼓励该领域的更多活动，我们创建了Crytic研究奖，以奖励基于我们区块链工具发表的学术论文。

关注主题

任何基于我们工具的工作都符合资格。

您想产生工业级影响吗？我们团队目前对这些主题感兴趣：

提升工具核心能力：

• 如何使Echidna探索更智能
• 如何使Manticore在智能合约上运行更快
• 如何减少Slither的误报

扩展工具应用领域：

• 如何精确建模和检测竞态条件
• 如何自动修复漏洞
• 如何通过机器学习或基于语法的方法指导Echidna
• 智能合约的任何特定插桩技术
• 如何组合使用工具

我们特别希望看到工具在其原始用途之外的创造性应用。例如，参见我们基于Slither的代码相似性工具。

规则

• 论文必须基于我们的开源工具之一：

  • Echidna
  • Manticore
  • Slither
  • 或其他Crytic工具，如evm-cfg-builder，但这些优先级较低。

• 论文必须已被同行评审会议接受。我们推荐：

  • ACSAC、ASE、CAV、CCS、Crypto、FC、FSE、NDSS、ICSE、ISSTA、OSDI、POPL、PLDI、S&P、S&P Europe、TACAS和Usenix。
  • 上述会议的任何研讨会。

• 所有材料必须开源，包括基准测试。我们将重新运行实验并评估工具。

• 申请必须遵守适用的美国及国际法律、法规和政策。

Trail of Bits将评估所有参赛作品，并向最佳论文颁发现金奖励：

• 第一名：6,000美元
• 第二名：2,000美元
• 第三名：2,000美元

我们将在2020年11月1日截止提交。

我们乐意为我们的工具提供支持。如果您需要开发人员的直接帮助，请加入我们的Slack频道（#ethereum）。

记住，如果您想参加竞赛，请发送您的论文给我们！

如果您喜欢这篇文章，请分享： Twitter LinkedIn GitHub Mastodon Hacker News