Preprints

[P3] Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry, “Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection,” arXiv 2024.

[P2] James Ferlez and Yasser Shoukry, “Assured Neural Network Architectures for Control and Identification of Nonlinear Systems,” arXiv 2021.

[P1] James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, and Cody Fleming, “ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers,” arXiv 2020.

Peer-reviewed publications (Book Chapters [B], Journals [J], and Conferences [C])

[J14] Xiaowu Sun and Yasser Shoukry, Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks,” IEEE Transactions on Robotics (IEEE T-RO), to appear.

[J13] Wael Fatnassi and Yasser Shoukry, “PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities,” ACM Transactions on Embedded Computing Systems (ACM TECS), 2024, to appear.

[C46] Haitham Khedr and Yasser Shoukry, “DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation,” 38th Annual AAAI Conference on Artificial Intelligence (AAAI), Feb 2024.

[C45] Ulices Santa Cruz and Yasser Shoukry, “Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis,” 62nd IEEE Conference on Decision and Control (IEEE CDC), December 2023.

[C44] Momina Sajid, Yanning Shen, and Yasser Shoukry, “Model Extraction Attacks Against Reinforcement Learning Based Controllers,” 62nd IEEE Conference on Decision and Control (IEEE CDC), December 2023.

[J12] James Ferlez and Yasser Shoukry, “Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers,” IEEE Control Systems Letters (IEEE L-CSS), 2023.

[C43] Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque, SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge, 2023 Design Automation Conference (DAC), July 2023.

[C42] Wael Fatnassi, Haitham Khedr, Valen Yamamoto, and Yasser Shoukry, “BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic,” 26th ACM International Conference on Hybrid Systems: Computation and Control (ACM/IEEE HSCC), May 2023.

[C41] Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Al Faruque, EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency“, 14th ACM/IEEE International Conference on Cyber-Physical Systems (ACM/IEEE ICCPS), May 2023.

[C40] Haitham Khedr and Yasser Shoukry, “CertiFair: A Framework for Certified Global Fairness of Neural Networks,” 37th AAAI Conference on Artificial Intelligence (AAAI-23). (Oral presentation)

[C39] Xiaowu Sun and Yasser Shoukry, “NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems,” 61st IEEE Conference on Decision and Control (IEEE CDC), December 2022.

[C38] Ulices Santa Cruz, James Ferlez, and Yasser Shoukry, Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers,” 61st IEEE Conference on Decision and Control (IEEE CDC), December 2022.

[C37] Ulices Santa Cruz and Yasser Shoukry, “NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing,” NASA Formal Methods Symposium (NFM), July 2022.

[C36] James Ferlez, Haitham Khedr, and Yasser Shoukry, Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks,” 25th ACM International Conference on Hybrid Systems: Computation and Control (ACM/IEEE HSCC), May 2022.

[C35] Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, and Yasser Shoukry, “Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach,” 60th IEEE Conference on Decision and Control (IEEE CDC), December 2021 (extended version on arXiv 2021).

[C34] James Ferlez and Yasser Shoukry, Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach,” 60th IEEE Conference on Decision and Control (ACM/IEEE CDC), December 2021 (extended version on arXiv 2020).

[C33] Haitham Khedr, James Ferlez, and Yasser Shoukry, PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier,” 33rd International Conference on Computer-Aided Verification (CAV), July 2021.

[J11] Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, and George J. Pappas, Cloud-based Quadratic Optimization with Partially Homomorphic Encryption,” IEEE Transactions on Automatic Control (IEEE TAC), vol. 66, no. 5, pp. 2357-2364, May 2021.

[B1] Yasser Shoukry and Paulo Tabuada,The Secure State Estimation Problem,” in Safety, Security, and Privacy of Cyber-Physical Systems, 2021.

[C32] Wael Fatnassi and Yasser Shoukry, PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement, 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2021.

[C31] James Ferlez, Xiaowu Sun, and Yasser Shoukry, Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems,” 59th IEEE Conference on Decision and Control (IEEE CDC), December 2020.

[J10] 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,” ACM Transactions on Cyber-Physical Systems (ACM TCPS), Volume 4, Issue 4, Article No.: 43, pp 1–27, October 2020.

[J9] Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas Diggavi, and Paulo Tabuada, Securing state reconstruction under sensor and actuator attacks: Theory and design,” Automatica, volume 116, 108920, ISSN 0005-1098, 2020.

[C30] James Ferlez and Yasser Shoukry, “AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems,” 23rd ACM International Conference on Hybrid Systems: Computation and Control (ACM/IEEE HSCC), April 2020.

[C29] MirSaleh Bahavarnia, Yasser Shoukry, and Nuno C. Martins, Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach,” 2020 American Control Conference (ACC), July 2020.

[C28] Xiaowu Sun, Haitham Khedr, and Yasser Shoukry, Formal Verification of Neural Network Controlled Autonomous Systems,” 22nd ACM International Conference on Hybrid Systems: Computation and Control (ACM/IEEE HSCC), April 2019.

[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), May 2019.

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

[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 (ACM EMSOFT), October 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 (ACM TCPS), vol. 2, no. 1, pp. 5:1-5:27, January 2018, Invited paper.

[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 (Proc-IEEE), vol. 106, no. 9, pp. 1655-1679, September 2018.

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

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

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

[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 (IEEE TCNS), 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 (IEEE TAC), vol. 61, no. 8, pp. 2079-2091, August 2016.

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

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

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

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

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

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

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