ACM的通信
研究档案
研究档案库可访问对ACM沟通过去发表的所有研究文章。
2020年10月
来自ACM的通信
Madmax：分析智能合约的气体外世界
我们确定以气体为中心的漏洞并介绍Madmax：一种静态程序分析技术，该技术会自动以非常高的信心检测以气体为中心的漏洞。
来自ACM的通信
技术观点：两个以一个
“外部内存整数通过网络编码进行分类的下限”证明了计算机如何执行排序和传输之间的显着联系。
来自ACM的通信
外部内存整数通过网络编码进行排序的下限
在本文中，我们在整数的外部存储器排序的复杂性上提出了一个紧密的条件下限。
来自ACM的通信
技术观点：与Madmax分析智能合约
内维尔·格雷希（Neville Grech）等。