Hardware Trojan Protection for Third Party IPs. - Amr Al-Anwar 001; Yousra Alkabani; M. Watheq El-Kharashi; Hassan Bedour (DSD, 2013)

E-Voting Attacks and Countermeasures. - M. Tarek Ibn Ziad; Amr Al-Anwar 001; Yousra Alkabani; M. Watheq El-Kharashi; Hassan Bedour (AINA Workshops, 2014)

Homomorphic Data Isolation for Hardware Trojan Protection. - M. Tarek Ibn Ziad; Amr Al-Anwar 001; Yousra Alkabani; M. Watheq El-Kharashi; Hassan Bedour (ISVLSI, 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)

CryptoImg: Privacy preserving processing over encrypted images. - M. Tarek Ibn Ziad; Amr Al-Anwar 001; Moustafa Alzantot; Mani B. Srivastava (CNS, 2016)

Realizing Uncertainty-Aware Timing Stack in Embedded Operating System. - Amr Al-Anwar 001; Fatima M. Anwar 001; João P. Hespanha 001; Mani B. Srivastava (EWiLi, 2016)

Node localization based on distributed constrained optimization using Jacobi's method. - Henrique Ferraz; Amr Alanwar 001; Mani B. Srivastava; João P. Hespanha 001 (CDC, 2017)

SeleCon: Scalable IoT Device Selection and Control Using Hand Gestures. - Amr Al-Anwar 001; Moustafa Alzantot; Bo-Jhang Ho; Paul Martin 008; Mani B. Srivastava (IoTDI, 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)

D-SLATS: Distributed Simultaneous Localization and Time Synchronization. - Amr Al-Anwar 001; Henrique Ferraz; Kevin Hsieh; Rohit Thazhath; Paul Martin 008; João Pedro Hespanha; Mani B. Srivastava (MobiHoc, 2017)

EchoSafe: Sonar-based Verifiable Interaction with Intelligent Digital Agents. - Amr Alanwar 001; Bharathan Balaji; Yuan Tian 001; Shuo Yang; Mani B. Srivastava (SafeThings@SenSys, 2017)

TERSE-KF: Event-Trigger Diffusion Kalman Filter with Application to Localization and Time Synchronization. - Amr Alanwar 001; Tsang-Kai Chang; Mani B. Srivastava; Ankur Mehta (CoRR, 2017)

Dynamic FPGA Detection and Protection of Hardware Trojan: A Comparative Analysis. - Amr Al-Anwar 001; Mona A. Aboelnaga; Yousra Alkabani; M. Watheq El-Kharashi; Hassan Bedour (CoRR, 2017)

OpenClock: A Testbed for Clock Synchronization Research. - Fatima M. Anwar 001; Amr Alanwar 001; Mani B. Srivastava (ISPCS, 2018)

SecSens: Secure State Estimation with Application to Localization and Time Synchronization. - Amr Alanwar 001; Bernhard Etzlinger; Henrique Ferraz; João Pedro Hespanha; Mani B. Srivastava (CoRR, 2018)

Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis. - Amr Alanwar 001; Hazem Said; Matthias Althoff (CDC, 2019)

Event-Triggered Diffusion Kalman Filters. - Amr Alanwar 001; Hazem Said; Ankur Mehta; Matthias Althoff (ICCPS, 2020)

Distributed Set-Based Observers Using Diffusion Strategy. - Amr Alanwar 001; Jagat Jyoti Rath; Hazem Said; Matthias Althoff (CoRR, 2020)

Localization of Cyber-Physical Systems: Privacy, Security and Efficiency. - Amr Abdelhafez Mohamed Alanwar Abdelhafez (2020)

Set-Membership Estimation in Shared Situational Awareness for Automated Vehicles in Occluded Scenarios. - Vandana Narri; Amr Alanwar 001; Jonas Mårtensson 001; Christoffer Norén; Laura Dal Col; Karl Henrik Johansson (IV, 2021)

Data-Driven Reachability Analysis Using Matrix Zonotopes. - Amr Alanwar 001; Anne Koch 001; Frank Allgöwer; Karl Henrik Johansson (L4DC, 2021)

Data-Driven Set-Based Estimation using Matrix Zonotopes with Set Containment Guarantees. - Amr Alanwar 001; Alexander Berndt 001; Karl Henrik Johansson; Henrik Sandberg (ECC, 2022)

Data-driven Set-based Estimation of Polynomial Systems with Application to SIR Epidemics. - Amr Alanwar 001; Muhammad Umar B. Niazi; Karl Henrik Johansson (ECC, 2022)

Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption. - Sawsan Emad; Amr Alanwar 001; Yousra Alkabani; M. Watheq El-Kharashi; Henrik Sandberg; Karl Henrik Johansson (ECC, 2022)

Safe Reinforcement Learning using Data-Driven Predictive Control. - Mahmoud Selim; Amr Al-Anwar 001; M. Watheq El-Kharashi; Hazem M. Abbas; Karl Henrik Johansson (ICCSPA, 2022)

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. - Amr Alanwar 001; Frank J. Jiang; Maryam Sharifi; Dimos V. Dimarogonas; Karl Henrik Johansson (ICRA, 2022)

Logical Zonotope: A Set Representation for Binary Vectors. - Amr Alanwar 001; Frank J. Jiang; Samy Amin; Karl Henrik Johansson (CoRR, 2022)

Robust data-driven predictive control using reachability analysis. - Amr Alanwar 001; Yvonne R. Stürz; Karl Henrik Johansson (Eur. J. Control, 2022)

Safe Reinforcement Learning Using Black-Box Reachability Analysis. - Mahmoud Selim; Amr Alanwar 001; Shreyas Kousik; Grace Xingxin Gao; Marco Pavone 001; Karl Henrik Johansson (IEEE Robotics Autom. Lett., 2022)

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. - Amr Alanwar 001; Frank J. Jiang; Samy Amin; Karl Henrik Johansson (CDC, 2023)

Differentially Private Set-Based Estimation Using Zonotopes. - Mohammed M. Dawoud; Changxin Liu 001; Amr Alanwar 001; Karl Henrik Johansson (ECC, 2023)

Shared Situational Awareness with V2X Communication and Set-membership Estimation. - Vandana Narri; Amr Alanwar 001; Jonas Mårtensson 001; Christoffer Norén; Karl Henrik Johansson (ITSC, 2023)

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. - August Söderlund; Frank J. Jiang; Vandana Narri; Amr Alanwar 001; Karl Henrik Johansson (ITSC, 2023)

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems. - Amr Alanwar 001; Frank J. Jiang; Karl Henrik Johansson (CoRR, 2023)

Secure Set-Based State Estimation for Linear Systems under Adversarial Attacks on Sensors. - Muhammad Umar B. Niazi; Michelle S. Chong; Amr Alanwar 001; Karl Henrik Johansson (CoRR, 2023)

Privacy-preserving set-based estimation using partially homomorphic encryption. - Amr Alanwar 001; Victor Gaßmann; Xingkang He; Hazem Said; Henrik Sandberg; Karl Henrik Johansson; Matthias Althoff (Eur. J. Control, 2023)

Data-Driven Reachability Analysis From Noisy Data. - Amr Alanwar 001; Anne Koch 001; Frank Allgöwer; Karl Henrik Johansson (IEEE Trans. Autom. Control., 2023)

Distributed set-based observers using diffusion strategies. - Amr Al-Anwar 001; Jagat Jyoti Rath; Hazem Said; Karl Henrik Johansson; Matthias Althoff (J. Frankl. Inst., 2023)

Robust data-driven predictive control of unknown nonlinear systems using reachability analysis. - Mahsa Farjadnia; Amr Al-Anwar 001; Muhammad Umar B. Niazi; Marco Molinari 001; Karl Henrik Johansson (Eur. J. Control, 2023)

Resilient set-based state estimation for linear time-invariant systems using zonotopes. - Muhammad Umar B. Niazi; Amr Al-Anwar 001; Michelle S. Chong; Karl Henrik Johansson (Eur. J. Control, 2023)

Robust Data-Driven Tube-Based Zonotopic Predictive Control with Closed-Loop Guarantees. - Mahsa Farjadnia; Angela Fontan; Amr Alanwar 001; Marco Molinari 001; Karl Henrik Johansson (CDC, 2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. - Loizos Hadjiloizou; Frank J. Jiang; Amr Alanwar 001; Karl Henrik Johansson (ECC, 2024)

Formal Verification with Constrained Polynomial Logical Zonotope. - Ahmad Hafez; Frank J. Jiang; Karl Henrik Johansson; Amr Alanwar 001 (CoRR, 2024)

Privacy-Preserving Set-Based Estimation Using Differential Privacy and Zonotopes. - Mohammed M. Dawoud; Changxin Liu 001; Karl Henrik Johansson; Amr Alanwar 001 (CoRR, 2024)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes. - Ahmad Hafez; Frank J. Jiang; Karl Henrik Johansson; Amr Al-Anwar 001 (IEEE Control. Syst. Lett., 2024)

Publishers' Note to "Distributed set-based observers using diffusion strategies" [Journal of the Franklin Institute 360 (2023) 6976-6993]. - Amr Al-Anwar 001; Jagat Jyoti Rath; Hazem Said; Karl Henrik Johansson; Matthias Althoff (J. Frankl. Inst., 2024)

A variable threshold weight approach to dynamic event-triggered consensus control for leader-following multi-agent systems under asynchronous DoS attacks. - Tu Zhang; Guobao Zhang; Amr Alanwar 001; Yongming Huang 002 (J. Frankl. Inst., 2024)

Polynomial logical zonotope: A set representation for reachability analysis of logical systems. - Amr Al-Anwar 001; Frank J. Jiang; Karl Henrik Johansson (Autom., 2025)

Safe LLM-Controlled Robots with Formal Guarantees via Reachability Analysis. - Ahmad Hafez; Alireza Naderi Akhormeh; Amr Hegazy; Amr Al-Anwar 001 (CoRR, 2025)

Predictive Traffic Rule Compliance using Reinforcement Learning. - Yanliang Huang; Sebastian Mair 003; Zhuoqi Zeng; Amr Alanwar 001; Matthias Althoff (CoRR, 2025)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes. - Mohammed Adib Oumer; Amr Alanwar 001; Majid Zamani 001 (CoRR, 2025)

Data-Driven Nonconvex Reachability Analysis using Exact Multiplication. - Zhen Zhang; Muhammad Umar B. Niazi; Michelle S. Chong; Karl Henrik Johansson; Amr Al-Anwar 001 (CoRR, 2025)

Data-Driven Reachability Analysis for Piecewise Affine System. - Peng Xie; Johannes Betz; Davide M. Raimondo; Amr Alanwar 001 (CoRR, 2025)

Guiding Giants: Lightweight Controllers for Weighted Activation Steering in LLMs. - Amr Hegazy; Mostafa Elhoushi; Amr Al-Anwar 001 (CoRR, 2025)

Hybrid Polynomial Zonotopes: A Set Representation for Reachability Analysis in Hybrid Nonaffine Systems. - Peng Xie; Zhen Zhang; Amr Al-Anwar 001 (CoRR, 2025)

Informed Hybrid Zonotope-based Motion Planning Algorithm. - Peng Xie; Johannes Betz; Amr Al-Anwar 001 (CoRR, 2025)