A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems

by Khan, Muhammad Taimoor, Serpanos, Dimitrios, Khan, Muhammad, Shrobe, Howard E
Published 2018

Control Jujutsu

by Evans, Isaac, Long, Fan, Otgonbaatar, Ulziibayar, Shrobe, Howard E, Rinard, Martin C, Okhravi, Hamed, Sidiroglou-Douskos, Stelios
Published 2018

Missing the Point(er): On the Effectiveness of Code Pointer Integrity

by Evans, Isaac, Fingeret, Samuel (Samuel P.), González, Julián Armando, Otgonbaatar, Ulziibayar, Tang, Tiffany (Tiffany L.), Shrobe, Howard E, Sidiroglou, Stylianos, Rinard, Martin C, Okhravi, Hamed
Published 2020