ACM的通讯
研究档案
该研究档案提供了对过去问题发表的所有研究文章的访问。
2010年8月
从ACM的通信
关于静态分析中未知的推理
静态程序分析技术在分析时间内无法知道某些值，例如用户输入或网络状态的值。虽然需要治疗此类未知值......
从ACM的通信
技术防扩散：攻击目标Web服务器逻辑和XCS缺点的猎物
仅当一个系统是安全的全部的系统是安全的。虽然这可能听到明显，但是当您考虑许多现实世界的系统不断发展时，在系统中实现整个系统的总安全性很少微不足道。
从ACM的通信
技术持久性：大规模声音和精确的程序分析
你有一个程序。它会崩溃吗？它是否受到欺骗，缓冲区溢出或注射攻击？这部分死了代码吗？我可以用...替换代码片段吗？
从ACM的通信
交叉通道脚本的出现
轻量级，嵌入式Web服务器很快就会overnumber常规互联网网络服务器。我们揭示了一系列目标Web服务器逻辑并基于新的攻击