44 citations · 71 across the 5 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2017★ 16 cited
BinPro: A Tool for Binary Source Code Provenance
Dhaval Miyani, Zhen Huang, David Lie
Enforcing open source licenses such as the GNU General Public License (GPL), analyzing a binary for possible vulnerabilities, and code maintenance are all situations where it is us…
cs.CR2017★ 44 cited
Talos: Neutralizing Vulnerabilities with Security Workarounds for Rapid Response
Zhen Huang, Mariana D'Angelo, Dhaval Miyani +1
Considerable delays often exist between the discovery of a vulnerability and the issue of a patch. One way to mitigate this window of vulnerability is to use a configuration workar…
cs.CR2017★ 1 cited
Sound Patch Generation for Vulnerabilities
Zhen Huang, David Lie
Security vulnerabilities are among the most critical software defects in existence. As such, they require patches that are correct and quickly deployed. This motivates an automatic…