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.

Conference Papers

[C28] Xiaowu Sun, Haitham Khder, and Yasser Shoukry, "Formal Verification of Neural Network Controlled Autonomous Systems," 22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) 2019, to appear.

[C27] Xiaowu Sun, Rohitkrishna Nambiar, Matthew Melhorn, Yasser Shoukry, and Pierluigi Nuzzo, "DoS-Resilient Multi-Robot Temporal Logic Motion Planning," 2019 International Conference on Robotics and Automation (ICRA), to appear.

[C26] Qian Wang, Yiming Qian, Zhaojun Lu, Yasser Shoukry, and Gang Qu, "A Delay based Plug-in-Monitor for Intrusion Detection in Controller Area Network," Asian Hardware Oriented Security and Trust Symposium (Asian HOST), December 2018, to appear.

[C25] Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, and Dogan Ulus, "Embedded Software for Robotics: Challenges and Future Directions," The ACM SIGBED International Conference on Embedded Software (EMSOFT), October 2018, to appear.

[C24] Yasser Shoukry, Shaunak Mishra, Zutian Luo, and Suhas Diggavi, "Sybil-attack resilient traffic networks: A physics-based trust propagation approach," in Proceedings of the 9th ACM/IEEE International Conference on Cyber Physical Systems (ACM/IEEE ICCPS), Porto, Portugal, April 2018, pp. 43-54.

[C23] Mehrdad Showkatbakhsh, Yasser Shoukry, Robert H. Chen, Suhas Diggavi, and Paulo Tabuada, "An SMT-based approach to secure state estimation under sensor and actuator attacks," in Proceedings of the 56th IEEE Conference on Decision and Control (IEEE CDC), Melbourne, Australia, December 2017, pp. 157-162.

[C22] Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada, "Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming," in Proceedings of the 56th IEEE Conference on Decision and Control (IEEE CDC), Melbourne, Australia, December 2017, pp. 1132-1137.

[C21] Debbie Tsai, Yasser Shoukry, Min Kyung Lee, and Vasumathi Raman, "Towards a socially responsible smart city: Dynamic resource allocation for smarter community service," in Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments (ACM BuildSys), Delft, Netherlands, November 2017, pp. 13:1-13:4.

[C20] Yasser Shoukry, Paulo Tabuada, Stephanie Tsuei, Mark B. Milam, Jessy W. Grizzle, and Aaron Ames, "Closed form controlled invariant sets for pedestrian avoidance," in Proceedings of the 2017 American Control Conference (IEEE ACC), Seattle, WA, July 2017, pp. 1622-1628.

[C19] Amr Alanwar, Yasser Shoukry, Supriyo Chakraborty, Paul Martin, Paulo Tabuada, and Mani Srivastava, "PrOLoc: resilient localization using private observers," in Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (ACM/IEEE IPSN), Pittsburgh, PA, April 2017, pp. 41-52.

[C18] Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada, "SMC: Satisfiability Modulo Convex optimization," in Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control (ACM HSCC), Pittsburgh, PA, April 2017, pp. 19-28.

[C17] Yasser Shoukry, Konstantinos Gatsis, Amr Alanwar, George J. Pappas, Sanjit A. Seshia, Mani Srivastava, and Paulo Tabuada, "Privacy-aware quadratic optimization using partially homomorphic encryption," in Proceedings of the 55th IEEE Conference on Decision and Control (IEEE CDC), Las Vegas, NV, December 2016, pp. 5053-5058.

[C16] Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada, "Scalable lazy SMT-based motion planning," in Proceedings of the 55th IEEE Conference on Decision and Control (IEEE CDC), Las Vegas, NV, December 2016, pp. 6683-6688.

[C15] 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," in Proceedings of the 7th ACM/IEEE International Conference on Cyber Physical Systems (ACM/IEEE ICCPS), Vienna, Austria, April 2016, pp. 1-10, (Best Paper Award).

[C14] Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, and Paulo Tabuada, “Secure State Reconstruction in Differentially Flat Systems under Sensor Attacks Using Satisfiability Modulo Theory Solving,” in Proceedings of the 54th IEEE Conference on Decision and Control (IEEE CDC), Osaka, Japan, December 2015, pp. 3804–3809.

[C13] Yasser Shoukry, Paul Martin, Yair Yona, Mani Srivastava, and Suhas Diggavi, "PyCRA: physical challenge-response authentication for active sensors under spoofing attacks," in Proceedings of the 22nd ACM Conference on Computer and Communications Security (ACM CCS), Denver, CO, October 2015, pp. 1004-1015, (acceptance rate=19%).

[C12] Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas Diggavi, and Paulo Tabuada, “Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise,” in Proceedings of the 2015 IEEE International Symposium on Information Theory (IEEE ISIT), Hong Kong, June 2015, pp. 2929–2933.

[C11] Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, and Paulo Tabuada, “Sound and complete state estimation for dynamical systems under sensor attack using satisfiability modulo theory solving,” in Proceedings of the 2015 American Control Conference (IEEE ACC), Chicago, IL, July 2015, pp. 3818–3823, (Best Session Presentation Award).

[C10] Newton Truong, Yasser Shoukry, and Mani Srivastava, “Bio-inspired underwater electrolocation through adaptive system identification,” in Proceedings of the 2015 American Control Conference (IEEE ACC), Chicago, IL, July 2015, pp. 4473–4478.

[C9] Yasser Shoukry and Paulo Tabuada, “Event-triggered projected luenberger observer for linear systems under sensor attacks,” in Proceedings of the 53th IEEE Conference on Decision and Control (IEEE CDC), Los Angeles, CA, December 2014, pp. 3548–3553.

[C8] Paul Martin, Yasser Shoukry, Prashanth Swaminathan, Robin Wentao Ouyang, and Mani Srivastava, "Social Spring: encounter-based path refinement for indoor tracking systems," in Proceedings of the 1st ACM International Conference on Systems for Energy-Efficient Built Environments (ACM BuildSys), Memphis, TN, November 2014, pp. 156-159, (acceptance rate=27%).

[C7] Supriyo Chakraborty, Chenguang Shen, Kasturi Rangan Raghavan, Yasser Shoukry, Matt Millar, and Mani Srivastava, "ipShield: a framework for enforcing context-aware privacy," in Proceedings of the 11th USENIX Symposium of Networked Systems Design and Implementation (USENIX NSDI), Seattle, WA, April 2014, pp. 143-156, (acceptance rate=17%).

[C6] Yasser Shoukry, Paul Martin, Paulo Tabuada, and Mani Srivastava, "Non-invasive spoofing attacks for anti-lock braking systems," in Proceedings of the 15th International Conference on Cryptographic Hardware and Embedded Systems (CHES), ser. G. Bertoni and J.-S. Coron (Eds.): CHES 2013, LNCS 8086, Santa Barbara, CA, August 2013, pp. 55-72, (acceptance rate=20%).

[C5] Yasser Shoukry, Jose Araujo, Paulo Tabuada, Mani Srivastava, and Karl H. Johansson, "Minimax control for cyber-physical systems under network packet scheduling attacks," in Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (ACM HiCoNS), Philadelphia, PA, April 2013, pp. 93-100.

[C4] Paulo Tabuada, Ayca Balkan, Sina Yamac Caliskan, Yasser Shoukry, and Rupak Majumdar, "Input-output robustness for discrete systems," in Proceedings of the 10th ACM international conference on Embedded software (ACM EMSOFT), Tamp ere, Finland, October 2012, pp. 217-226, (acceptance rate=27%).

[C3] Yasser Shoukry, Ajay Kumar, M. Watheq El-Kharashi, Ghada Bahig, and Sherif Hammad, “Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm,” in Forum on specification & Design Languages (FDL), Paris, France, September 2013, pp. 1–6

[C2] Yasser Shoukry, Hesham Shokry, and Sherif Hammad, “Distributed dynamic scheduling of controller area network messages for networked embedded control systems,” in Proceedings of the 18th IFAC World Congress (IFAC WC), Milan, Italy, September 2011, pp. 1959-1964.

[C1] Yasser Shoukry, Mohamed El-Shafey, and Sherif Hammad, “Networked embedded generalized predictive controller for an active suspension system,” in the Proceedings of the 2010 American Control Conference (IEEE ACC), Baltimore, MD, July 2010, pp. 4570-4575.

Workshop Papers

[W5] Salma Elmalaki, Bo-Jhang Ho, Moustafa Alzantot, Yasser Shoukry, and Mani Srivastava, "SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT," in the IEEE Workshop on the Internet of Safe Things (SafeThings 2019). The workshop is affiliated with IEEE Security and Privacy (Oakland).

[W4] Salma Elmalaki, Yasser Shoukry, and Mani Srivastava, "Internet of personalized and autonomous things (IoPAT): Challenges, architecture, and applications," in ACM Workshop on Smart Cities and Fog Computing (CitiFog), November 2018. The workshop is affiliated with ACM Conference on Embedded Networked Sensor Systems (ACM SenSys).

[W2] Min Kyung Lee, Lisa Otto, Vasu Raman, and Yasser Shoukry, "Location-based services for homeless population," The 2016 Urban Homelessness and Underserved Communities. The workshop is affiliated with the Eighth International Conference on Social Informatics (So cInfo 2016).

[W2] Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Mani Srivastava, and Paulo Tabuada, "Imhotep-SMT: A Satis ability Modulo Theory Solver For Secure State Estimation," The 2015 International Workshop on Satis ability Modulo Theories (SMT). The workshop is affiliated with the 27th International Conference on Computer Aided Verification (CAV 2015).

[W1] Yasser Shoukry, Walid Farid, and Sherif Hammad, "Real-Time Markov Localization for Autonomous UGV," In the 4th International IEEE Design and Test Workshop, Saudi Arabia, Riyadh, November 2009.