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

Disassembly as Weighted Interval Scheduling with Learned Weights. - Antonio Flores-Montoya; Junghee Lim; Adam Seitz; Akshay Sood; Edward Raff; James Holt (SP, 2025)