宣布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

页面内容

• 感兴趣的主题
• 规则
• 近期文章

我们构建了MCP一直需要的安全层
在废弃硬件中利用零日漏洞
Inside EthCC[8]：成为智能合约审计员
使用Vendetect大规模检测代码复制
构建安全消息传递很难：对Bitchat安全辩论的细致看法

© 2025 Trail of Bits。
使用Hugo和Mainroad主题生成。