ARCUS: Symbolic Root Cause Analysis of Exploits in Production Systems. - Carter Yagemann; Matthew Pruett; Simon P. Chung; Kennon Bittick; Brendan Saltaformaggio; Wenke Lee (USENIX Security Symposium, 2021)