[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.