Using logic-based reduction for adversarial component recovery.

Jeffrey Todd McDonald, Eric D. Trias, Yong C. Kim, Michael R. Grimaila

Browse the full SAC paper archive.