44 citations · 71 across the 5 of their papers we have counts for
5 papers
SAIC: Identifying Configuration Files for System Configuration Management
Zhen Huang, David Lie
Systems can become misconfigured for a variety of reasons such as operator errors or buggy patches. When a misconfiguration is discovered, usually the first order of business is to…
Ocasta: Clustering Configuration Settings For Error Recovery
Zhen Huang, David Lie
Effective machine-aided diagnosis and repair of configuration errors continues to elude computer systems designers. Most of the literature targets errors that can be attributed to…
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…
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…
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…