当程序分析遇到安全，我们关注什么

程序分析像一门博大精深的武功，但在安全领域施展起来往往会被特定的问题束缚住手脚，今年五月的IEEE S&P，我们将会在会议上报告两项研究内容，分别介绍将程序分析应用于漏洞检测和漏洞防护的一些“注意事项”。今天我们正式放出两项工作的预告片和camera ready PDF，欢迎大家关注！

CryptMPK

https://sjtu.lijuanru.com/publications/sp22.pdf

Goshawk

https://sjtu.lijuanru.com/publications/sp22-again.pdf

此外，我们在DSN上的两项工作的camera ready PDF也欢迎大家下载：

SIMulation: Demystifying (Insecure) Cellular Network based One-Tap Authentication Services

https://sjtu.lijuanru.com/publications/dsn22-s.pdf

KINGFISHER: Unveiling Insecurely Used Credentials in IoT-to-Mobile Communications

https://sjtu.lijuanru.com/publications/dsn22-k.pdf

原文始发于微信公众号（安全研究GoSSIP）：当程序分析遇到安全，我们关注什么