SCIBORG: Secure Configurations for the IoT Based on optimization and Reasoning on Graphs. - Hamed Soroush; Massimiliano Albanese; Milad Asgari Mehrabadi; Ibifubara Iganibo; Marc Mosko; Jason H. Gao 003; David J. Fritz; Shantanu Rane; Eric Bier (CNS, 2020)