Yasser Shoukry

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 77

Top Topics

Quadratic Optimization

State Estimation

Top Venues

Publications

Jair Certorio, Nuno C. Martins, Kevin Chang, Pierluigi Nuzzo, Yasser Shoukry
Passivity Tools for Hybrid Learning Rules in Large Populations. CoRR (2024)
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. CoRR (2024)
Xiaowu Sun, Yasser Shoukry
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks. IEEE Trans. Robotics 40 (2024)
Wael Fatnassi, Yasser Shoukry
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. ACM Trans. Embed. Comput. Syst. 23 (2) (2024)
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. ICCPS (2024)
Haitham Khedr, Yasser Shoukry
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation. AAAI (2024)
Momina Sajid, Yanning Shen, Yasser Shoukry
Model Extraction Attacks Against Reinforcement Learning Based Controllers. CDC (2023)
Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. CoRR (2023)
Ulices Santa Cruz, Yasser Shoukry
Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis. CDC (2023)
Ulices Santa Cruz, Yasser Shoukry
Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis. CoRR (2023)
Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque
SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge. DAC (2023)
James Ferlez, Yasser Shoukry
Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers. IEEE Control. Syst. Lett. 7 (2023)
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. HSCC (2023)
Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque
SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge. CoRR (2023)
Haitham Khedr, Yasser Shoukry
DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation. CoRR (2023)
Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. ICCPS (2023)
Haitham Khedr, Yasser Shoukry
CertiFair: A Framework for Certified Global Fairness of Neural Networks. AAAI (2023)
Momina Sajid, Yanning Shen, Yasser Shoukry
Model Extraction Attacks Against Reinforcement Learning Based Controllers. CoRR (2023)
Wael Fatnassi, Yasser Shoukry
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. CoRR (2022)
Ulices Santa Cruz, Yasser Shoukry
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing. NFM (2022)
Salma Elmalaki, Bo-Jhang Ho, Moustafa Alzantot, Yasser Shoukry, Mani B. Srivastava
VindiCo: Privacy Safeguard Against Adaptation Based Spyware in Human-in-the-Loop IoT. CoRR (2022)
Xiaowu Sun, Yasser Shoukry
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. CDC (2022)
Ulices Santa Cruz, James Ferlez, Yasser Shoukry
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers. CDC (2022)
Xiaowu Sun, Yasser Shoukry
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks. CoRR (2022)
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. CoRR (2022)
James Ferlez, Haitham Khedr, Yasser Shoukry
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. HSCC (2022)
Haitham Khedr, Yasser Shoukry
CertiFair: A Framework for Certified Global Fairness of Neural Networks. CoRR (2022)
Ulices Santa Cruz, Yasser Shoukry
NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing. CoRR (2022)
James Ferlez, Yasser Shoukry
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers. CoRR (2022)
Haitham Khedr, James Ferlez, Yasser Shoukry
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier. CAV (1) (2021)
Ulices Santa Cruz, James Ferlez, Yasser Shoukry
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers. CoRR (2021)
Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. CoRR (2021)
Xiaowu Sun, Yasser Shoukry
Provably Correct Training of Neural Network Controllers Using Reachability Analysis. CoRR (2021)
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. 66 (5) (2021)
Xiaowu Sun, Yasser Shoukry
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. CoRR (2021)
James Ferlez, Haitham Khedr, Yasser Shoukry
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. CoRR (2021)
James Ferlez, Yasser Shoukry
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach. CDC (2021)
Wael Fatnassi, Yasser Shoukry
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. ADHS (2021)
Wael Fatnassi, Yasser Shoukry
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. CoRR (2021)
James Ferlez, Yasser Shoukry
Assured Neural Network Architectures for Control and Identification of Nonlinear Systems. CoRR (2021)
Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry
Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. CDC (2021)
James Ferlez, Xiaowu Sun, Yasser Shoukry
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems. CDC (2020)
Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada
Securing state reconstruction under sensor and actuator attacks: Theory and design. Autom. 116 (2020)
MirSaleh Bahavarnia, Yasser Shoukry, Nuno C. Martins
Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach. ACC (2020)
James Ferlez, Xiaowu Sun, Yasser Shoukry
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems. CoRR (2020)
Haitham Khedr, James Ferlez, Yasser Shoukry
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions. CoRR (2020)
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4 (4) (2020)
James Ferlez, Yasser Shoukry
AReN: assured ReLU NN architecture for model predictive control of LTI systems. HSCC (2020)
James Ferlez, Yasser Shoukry
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach. CoRR (2020)
James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody Fleming
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers. CoRR (2020)
Salma Elmalaki, Bo-Jhang Ho, Moustafa Alzantot, Yasser Shoukry, Mani B. Srivastava
SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT. IEEE Symposium on Security and Privacy Workshops (2019)
Xiaowu Sun, Rohitkrishna Nambiar, Matthew Melhorn, Yasser Shoukry, Pierluigi Nuzzo
DoS-Resilient Multi-Robot Temporal Logic Motion Planning. ICRA (2019)
James Ferlez, Yasser Shoukry
AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems. CoRR (2019)
Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada
Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design. CoRR (2019)
Xiaowu Sun, Haitham Khedr, Yasser Shoukry
Formal verification of neural network controlled autonomous systems. HSCC (2019)
Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
SMC: Satisfiability Modulo Convex Programming. Proc. IEEE 106 (9) (2018)
Salma Elmalaki, Yasser Shoukry, Mani B. Srivastava
Internet of Personalized and Autonomous Things (IoPAT): Smart Homes Case Study. CitiFog@SenSys (2018)
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. 2 (1) (2018)
Xiaowu Sun, Haitham Khedr, Yasser Shoukry
Formal Verification of Neural Network Controlled Autonomous Systems. CoRR (2018)
Yasser Shoukry, Shaunak Mishra, Zutian Luo, Suhas N. Diggavi
Sybil attack resilient traffic networks: a physics-based trust propagation approach. ICCPS (2018)
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption. CoRR (2018)
Qian Wang, Yiming Qian, Zhaojun Lu, Yasser Shoukry, Gang Qu
A Delay based Plug-in-Monitor for Intrusion Detection in Controller Area Network. AsianHOST (2018)
Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
Embedded software for robotics: challenges and future directions: special session. EMSOFT (2018)
Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Bharathan Balaji, Paul Martin, Paulo Tabuada, Mani B. Srivastava
PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. IPSN (2017)
Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. 62 (10) (2017)
Yasser Shoukry, Paulo Tabuada, Stephanie Tsuei, Mark B. Milam, Jessy W. Grizzle, Aaron D. Ames
Closed-form controlled invariant sets for pedestrian avoidance. ACC (2017)
Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
Secure State Estimation Against Sensor Attacks in the Presence of Noise. IEEE Trans. Control. Netw. Syst. 4 (1) (2017)
Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
SMC: Satisfiability Modulo Convex Optimization. HSCC (2017)
Huey-Ru (Debbie) Tsai, Yasser Shoukry, Min Kyung Lee, Vasumathi Raman
Towards a socially responsible smart city: dynamic resource allocation for smarter community service. BuildSys@SenSys (2017)
Mehrdad Showkatbakhsh, Yasser Shoukry, Robert H. Chen, Suhas N. Diggavi, Paulo Tabuada
An SMT-based approach to secure state estimation under sensor and actuator attacks. CDC (2017)
Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Paul Martin, Paulo Tabuada, Mani B. Srivastava
PrOLoc: resilient localization with private observers using partial homomorphic encryption. IPSN (2017)
Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC (2017)
Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
Scalable lazy SMT-based motion planning. CDC (2016)
Yasser Shoukry, Paul Martin, Yair Yona, Suhas N. Diggavi, Mani B. Srivastava
Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks. CoRR (2016)
Yasser Shoukry, Paulo Tabuada
Event-Triggered State Observers for Sparse Sensor Noise/Attacks. IEEE Trans. Autom. Control. 61 (8) (2016)
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS (2016)
Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada
Privacy-aware quadratic optimization using partially homomorphic encryption. CDC (2016)
Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC (2015)
Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
Secure State Estimation against Sensor Attacks in the Presence of Noise. CoRR (2015)
Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava
Non-invasive Spoofing Attacks for Anti-lock Braking Systems. IACR Cryptol. ePrint Arch. 2015 (2015)
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR (2015)
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC (2015)
Yasser Shoukry, Paul Martin, Yair Yona, Suhas N. Diggavi, Mani B. Srivastava
PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks. CCS (2015)
Newton Truong, Yasser Shoukry, Mani B. Srivastava
Bio-inspired underwater electrolocation through adaptive system identification. ACC (2015)
Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
Secure State Estimation: Optimal Guarantees against Sensor Attacks in the Presence of Noise. CoRR (2015)
Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise. ISIT (2015)
Paul D. Martin, Yasser Shoukry, Prashanth Swaminathan, Wentao Robin Ouyang, Mani B. Srivastava
Social spring: encounter-based path refinement for indoor tracking systems. BuildSys@SenSys (2014)
Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR (2014)
Supriyo Chakraborty, Chenguang Shen, Kasturi Rangan Raghavan, Yasser Shoukry, Matt Millar, Mani B. Srivastava
ipShield: A Framework For Enforcing Context-Aware Privacy. NSDI (2014)
Yasser Shoukry, Paulo Tabuada
Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks. CDC (2014)
Yasser Shoukry, Paulo Tabuada
Event-Triggered State Observers for Sparse Sensor Noise/Attacks. CoRR (2013)
Yasser Shoukry, Ajay Kumar, M. Watheq El-Kharashi, Gahda Bahig, Sherif Hammad
Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm. FDL (2013)
Yasser Shoukry, M. Watheq El-Kharashi, Sherif Hammad
An embedded implementation of the Generalized Predictive Control algorithm applied to automotive active suspension systems. Comput. Electr. Eng. 39 (2) (2013)
Yasser Shoukry, José Araujo, Paulo Tabuada, Mani B. Srivastava, Karl Henrik Johansson
Minimax control for cyber-physical systems under network packet scheduling attacks. HiCoNS (2013)
Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava
Non-invasive Spoofing Attacks for Anti-lock Braking Systems. CHES (2013)
Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar
Input-output robustness for discrete systems. EMSOFT (2012)
Yasser Shoukry, Mohamed H. El-Shafie, Sherif Hammad
Networked embedded generalized predictive controller for an active suspension system. ACC (2010)
Yasser Shoukry, M. Watheq El-Kharashi, Sherif Hammad
MPC-On-Chip: An Embedded GPC Coprocessor for Automotive Active Suspension Systems. IEEE Embed. Syst. Lett. 2 (2) (2010)