Networked embedded generalized predictive controller for an active suspension system. - Yasser Shoukry; Mohamed H. El-Shafie; Sherif Hammad (ACC, 2010)

MPC-On-Chip: An Embedded GPC Coprocessor for Automotive Active Suspension Systems. - Yasser Shoukry; M. Watheq El-Kharashi; Sherif Hammad (IEEE Embed. Syst. Lett., 2010)

Input-output robustness for discrete systems. - Paulo Tabuada; Ayca Balkan; Sina Y. Caliskan; Yasser Shoukry; Rupak Majumdar (EMSOFT, 2012)

Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm. - Yasser Shoukry; Ajay Kumar; M. Watheq El-Kharashi; Gahda Bahig; Sherif Hammad (FDL, 2013)

Minimax control for cyber-physical systems under network packet scheduling attacks. - Yasser Shoukry; José Araujo; Paulo Tabuada; Mani B. Srivastava; Karl Henrik Johansson (HiCoNS, 2013)

An embedded implementation of the Generalized Predictive Control algorithm applied to automotive active suspension systems. - Yasser Shoukry; M. Watheq El-Kharashi; Sherif Hammad (Comput. Electr. Eng., 2013)

Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks. - Yasser Shoukry; Paulo Tabuada (CDC, 2014)

ipShield: A Framework For Enforcing Context-Aware Privacy. - Supriyo Chakraborty; Chenguang Shen; Kasturi Rangan Raghavan; Yasser Shoukry; Matt Millar; Mani B. Srivastava (NSDI, 2014)

Social spring: encounter-based path refinement for indoor tracking systems. - Paul D. Martin 001; Yasser Shoukry; Prashanth Swaminathan; Wentao Robin Ouyang; Mani B. Srivastava (BuildSys, 2014)

Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto Puggelli; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CoRR, 2014)

Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. - Yasser Shoukry; Alberto Puggelli; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (ACC, 2015)

Bio-inspired underwater electrolocation through adaptive system identification. - Newton Truong; Yasser Shoukry; Mani B. Srivastava (ACC, 2015)

PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks. - Yasser Shoukry; Paul Martin 008; Yair Yona; Suhas N. Diggavi; Mani B. Srivastava (CCS, 2015)

Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. - Yasser Shoukry; Pierluigi Nuzzo 002; Nicola Bezzo; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CDC, 2015)

Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise. - Shaunak Mishra; Yasser Shoukry; Nikhil Karamchandani; Suhas N. Diggavi; Paulo Tabuada (ISIT, 2015)

A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. - Yasser Shoukry; Pierluigi Nuzzo 002; Nicola Bezzo; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CoRR, 2015)

Non-invasive Spoofing Attacks for Anti-lock Braking Systems. - Yasser Shoukry; Paul D. Martin 001; Paulo Tabuada; Mani B. Srivastava (IACR Cryptol. ePrint Arch., 2015)

Privacy-aware quadratic optimization using partially homomorphic encryption. - Yasser Shoukry; Konstantinos Gatsis; Amr Al-Anwar 001; George J. Pappas; Sanjit A. Seshia; Mani B. Srivastava; Paulo Tabuada (CDC, 2016)

Scalable lazy SMT-based motion planning. - Yasser Shoukry; Pierluigi Nuzzo 002; Indranil Saha; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (CDC, 2016)

Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks. - Yasser Shoukry; Paul Martin 008; Yair Yona; Suhas N. Diggavi; Mani B. Srivastava (CoRR, 2016)

Event-Triggered State Observers for Sparse Sensor Noise/Attacks. - Yasser Shoukry; Paulo Tabuada (IEEE Trans. Autom. Control., 2016)

Closed-form controlled invariant sets for pedestrian avoidance. - Yasser Shoukry; Paulo Tabuada; Stephanie Tsuei; Mark B. Milam; Jessy W. Grizzle; Aaron D. Ames (ACC, 2017)

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. - Yasser Shoukry; Pierluigi Nuzzo 002; Ayca Balkan; Indranil Saha; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (CDC, 2017)

An SMT-based approach to secure state estimation under sensor and actuator attacks. - Mehrdad Showkatbakhsh; Yasser Shoukry; Robert H. Chen; Suhas N. Diggavi; Paulo Tabuada (CDC, 2017)

SMC: Satisfiability Modulo Convex Optimization. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (HSCC, 2017)

PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. - Amr Al-Anwar 001; Yasser Shoukry; Supriyo Chakraborty; Bharathan Balaji; Paul Martin 008; Paulo Tabuada; Mani B. Srivastava (IPSN, 2017)

PrOLoc: resilient localization with private observers using partial homomorphic encryption. - Amr Al-Anwar 001; Yasser Shoukry; Supriyo Chakraborty; Paul Martin 008; Paulo Tabuada; Mani B. Srivastava (IPSN, 2017)

Towards a socially responsible smart city: dynamic resource allocation for smarter community service. - Huey-Ru (Debbie) Tsai; Yasser Shoukry; Min Kyung Lee; Vasumathi Raman (BuildSys, 2017)

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto Puggelli; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (IEEE Trans. Autom. Control., 2017)

Secure State Estimation Against Sensor Attacks in the Presence of Noise. - Shaunak Mishra; Yasser Shoukry; Nikhil Karamchandani; Suhas N. Diggavi; Paulo Tabuada (IEEE Trans. Control. Netw. Syst., 2017)

A Delay based Plug-in-Monitor for Intrusion Detection in Controller Area Network. - Qian Wang 022; Yiming Qian; Zhaojun Lu; Yasser Shoukry; Gang Qu 001 (AsianHOST, 2018)

Embedded software for robotics: challenges and future directions: special session. - Houssam Abbas; Indranil Saha; Yasser Shoukry; Rüdiger Ehlers; Georgios Fainekos; Rajesh Gupta 001; Rupak Majumdar; Dogan Ulus (EMSOFT, 2018)

Sybil attack resilient traffic networks: a physics-based trust propagation approach. - Yasser Shoukry; Shaunak Mishra; Zutian Luo; Suhas N. Diggavi (ICCPS, 2018)

Internet of Personalized and Autonomous Things (IoPAT): Smart Homes Case Study. - Salma Elmalaki 001; Yasser Shoukry; Mani B. Srivastava (CitiFog@SenSys, 2018)

SMC: Satisfiability Modulo Convex Programming. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (Proc. IEEE, 2018)

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. - Yasser Shoukry; Michelle Chong; Masashi Wakaiki; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; João Pedro Hespanha; Paulo Tabuada (ACM Trans. Cyber Phys. Syst., 2018)

Formal verification of neural network controlled autonomous systems. - Xiaowu Sun; Haitham Khedr; Yasser Shoukry (HSCC, 2019)

DoS-Resilient Multi-Robot Temporal Logic Motion Planning. - Xiaowu Sun; Rohitkrishna Nambiar; Matthew Melhorn; Yasser Shoukry; Pierluigi Nuzzo 002 (ICRA, 2019)

SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT. - Salma Elmalaki 001; Bo-Jhang Ho; Moustafa Alzantot; Yasser Shoukry; Mani B. Srivastava (IEEE Symposium on Security and Privacy Workshops, 2019)

Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design. - Mehrdad Showkatbakhsh; Yasser Shoukry; Suhas N. Diggavi; Paulo Tabuada (CoRR, 2019)

Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach. - MirSaleh Bahavarnia; Yasser Shoukry; Nuno C. Martins (ACC, 2020)

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems. - James Ferlez; Xiaowu Sun; Yasser Shoukry (CDC, 2020)

AReN: assured ReLU NN architecture for model predictive control of LTI systems. - James Ferlez; Yasser Shoukry (HSCC, 2020)

Securing state reconstruction under sensor and actuator attacks: Theory and design. - Mehrdad Showkatbakhsh; Yasser Shoukry; Suhas N. Diggavi; Paulo Tabuada (Autom., 2020)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers. - James Ferlez; Mahmoud Elnaggar; Yasser Shoukry; Cody H. Fleming (CoRR, 2020)

Effective Formal Verification of Neural Networks using the Geometry of Linear Regions. - Haitham Khedr; James Ferlez; Yasser Shoukry (CoRR, 2020)

Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. - Matthew Weber; Baihong Jin; Gil Lederman; Yasser Shoukry; Edward A. Lee; Sanjit Seshia; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Cyber Phys. Syst., 2020)

PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. - Wael Fatnassi; Yasser Shoukry (ADHS, 2021)

PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier. - Haitham Khedr; James Ferlez; Yasser Shoukry (CAV (1), 2021)

Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach. - James Ferlez; Yasser Shoukry (CDC, 2021)

Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. - Xiaowu Sun; Wael Fatnassi; Ulices Santa Cruz; Yasser Shoukry (CDC, 2021)

Provably Correct Training of Neural Network Controllers Using Reachability Analysis. - Xiaowu Sun; Yasser Shoukry (CoRR, 2021)

Assured Neural Network Architectures for Control and Identification of Nonlinear Systems. - James Ferlez; Yasser Shoukry (CoRR, 2021)

Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. - Andreea B. Alexandru; Konstantinos Gatsis; Yasser Shoukry; Sanjit A. Seshia; Paulo Tabuada; George J. Pappas (IEEE Trans. Autom. Control., 2021)

Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers. - Ulices Santa Cruz; James Ferlez; Yasser Shoukry (CDC, 2022)

NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. - Xiaowu Sun; Yasser Shoukry (CDC, 2022)

Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. - James Ferlez; Haitham Khedr; Yasser Shoukry (HSCC, 2022)

NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing. - Ulices Santa Cruz; Yasser Shoukry (NFM, 2022)

VindiCo: Privacy Safeguard Against Adaptation Based Spyware in Human-in-the-Loop IoT. - Salma Elmalaki 001; Bo-Jhang Ho; Moustafa Alzantot; Yasser Shoukry; Mani B. Srivastava (CoRR, 2022)

CertiFair: A Framework for Certified Global Fairness of Neural Networks. - Haitham Khedr; Yasser Shoukry (AAAI, 2023)

Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis. - Ulices Santa Cruz; Yasser Shoukry (CDC, 2023)

Model Extraction Attacks Against Reinforcement Learning Based Controllers. - Momina Sajid; Yanning Shen; Yasser Shoukry (CDC, 2023)

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

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. - Wael Fatnassi; Haitham Khedr; Valen Yamamoto; Yasser Shoukry (HSCC, 2023)

EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. - Mohanad Odema; James Ferlez; Goli Vaisi; Yasser Shoukry; Mohammad Abdullah Al Faruque (ICCPS, 2023)

Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers. - James Ferlez; Yasser Shoukry (IEEE Control. Syst. Lett., 2023)

DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation. - Haitham Khedr; Yasser Shoukry (AAAI, 2024)

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection. - Kohei Tsujio; Mohammad Abdullah Al Faruque; Yasser Shoukry (ICCPS, 2024)

Passivity Tools for Hybrid Learning Rules in Large Populations. - Jair Certorio; Nuno C. Martins; Kevin Chang 007; Pierluigi Nuzzo 002; Yasser Shoukry (CoRR, 2024)

Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks. - Xiaowu Sun; Yasser Shoukry (IEEE Trans. Robotics, 2024)

PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. - Wael Fatnassi; Yasser Shoukry (ACM Trans. Embed. Comput. Syst., 2024)

BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations. - Wael Fatnassi; Arthur Feeney; Valen Yamamoto; Aparna Chandramowlishwaran; Yasser Shoukry (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions. - Goli Vaisi; James Ferlez; Yasser Shoukry (HSCC, 2025)