| 2026 | CAV | Perception with Guarantees: Certified Pose Estimation via Reachability Analysis. | Tobias Ladner, Yasser Shoukry, Matthias Althoff |
| 2024 | AAAI | DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation. | Haitham Khedr, Yasser Shoukry |
| 2023 | AAAI | CertiFair: A Framework for Certified Global Fairness of Neural Networks. | Haitham Khedr, Yasser Shoukry |
| 2023 | DAC | SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge. | Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque |
| 2021 | CAV | PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier. | Haitham Khedr, James Ferlez, Yasser Shoukry |
| 2019 | ICRA | DoS-Resilient Multi-Robot Temporal Logic Motion Planning. | Xiaowu Sun, Rohitkrishna Nambiar, Matthew Melhorn, Yasser Shoukry, Pierluigi Nuzzo |
| 2019 | SP | SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT. | Salma Elmalaki, Bo-Jhang Ho, Moustafa Alzantot, Yasser Shoukry, Mani B. Srivastava |
| 2018 | EMSOFT | Embedded software for robotics: challenges and future directions: special session. | Houssam Abbas, Indranil Saha, Yasser Shoukry, Rdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus |
| 2018 | SENSYS | Internet of Personalized and Autonomous Things (IoPAT): Smart Homes Case Study. | Salma Elmalaki, Yasser Shoukry, Mani B. Srivastava |
| 2017 | SENSYS | Towards a socially responsible smart city: dynamic resource allocation for smarter community service. | Huey-Ru (Debbie) Tsai, Yasser Shoukry, Min Kyung Lee, Vasumathi Raman |
| 2015 | CCS | PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks. | Yasser Shoukry, Paul Martin, Yair Yona, Suhas N. Diggavi, Mani B. Srivastava |
| 2015 | ISIT | Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise. | Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada |
| 2014 | NSDI | ipShield: A Framework For Enforcing Context-Aware Privacy. | Supriyo Chakraborty, Chenguang Shen, Kasturi Rangan Raghavan, Yasser Shoukry, Matt Millar, Mani B. Srivastava |
| 2014 | SENSYS | Social spring: encounter-based path refinement for indoor tracking systems. | Paul D. Martin, Yasser Shoukry, Prashanth Swaminathan, Wentao Robin Ouyang, Mani B. Srivastava |
| 2013 | CHES | Non-invasive Spoofing Attacks for Anti-lock Braking Systems. | Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava |
| 2013 | FDL | 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 |
| 2012 | EMSOFT | Input-output robustness for discrete systems. | Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar |