A Honeybug for Automated Cyber Reasoning Systems. - Timothy Bryant; Shaun Davenport (IEEE Secur. Priv., 2018)