CAERUS: Chronoscopic Assessment Engine for Recovering Undocumented Specifications. - Adam Seitz; Adam Satar; Brian Burke; Lok K. Yan; Zachary Estrada (CSET @ USENIX Security Symposium, 2019)