Journal Papers

[J11] Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas Diggavi, and Paulo Tabuada, "Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design," submitted, 2018.

[J10] Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, and George J. Pappas, "Cloud-based Quadratic Optimization with Partially Homomorphic Encryption", submitted, 2018.

[J9] Matt Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit A. Seshia, and Alberto Sangiovanni-Vincentelli, "Gordian: Formal Reasoning Based Outlier Detection for Secure Localization," submitted, 2018.

[J8] Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada, “SMC: Satisfiability Modulo Convex programming,” Proceedings of the IEEE, vol. 106, no. 9, pp. 1655-1679, September 2018.

[J7] Yasser Shoukry, Michelle Chong, Masashi Wakiaki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Joao. P. Hesphana, and Paulo Tabuada, “SMT-based observer design for cyber physical systems under sensor attacks,” ACM Transactions on Cyber Physical Systems, vol. 2, no. 1, pp. 5:1-5:27, January 2018, Invited paper.

[J6] Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, and Paulo Tabuada, “Secure state estimation under sensor attacks: A Satisfiability Modulo Theory approach,” IEEE Transactions on Automatic Control (IEEE TAC), vol. 62, no. 10, pp. 4917-4932, October 2017.

[J5] Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas Diggavi, and Paulo Tabuada, “Secure state estimation against sensor attacks in the presence of noise,” IEEE Transactions on Control of Network Systems, vol. 4, no. 1, pp. 49-59, September 2016.

[J4] Yasser Shoukry and Paulo Tabuada, “Event-triggered state observers for sparse sensor Noise/Attacks,” IEEE Transactions on Automatic Control, vol. 61, no. 8, pp. 2079-2091, August 2016.

[J3] Yasser Shoukry, M. Watheq El-Kharashi, and Sherif Hammad, "An Embedded Implementation of the Generalized Predictive Control Algorithm Applied to Automotive Active Suspension Systems," Computers & Electrical Engineering, Elsevier, vol:39 (2), pp: 512-529, February 2013.

[J2] Yasser Shoukry, M. Watheq El-Kharashi, Mohamed El-Shafey, and Sherif Hammad, “Towards real-time networked embedded generalized predictive control for automotive active suspension systems,” IFAC Proceedings Volumes, Elsevier, vol. 43, no. 7, pp. 348-353, July 2010.

[J1] Yasser Shoukry, M. Watheq El-Kharashi, and Sherif Hammad, "MPC-on-Chip: An Embedded GPC Co-processor for Automotive Active Suspension System," IEEE Embedded Systems Letters, vol:2 (2), pp: 31-34, June 2010.