Postdoctoral Scholar
yshoukry@eecs.berkeley.edu

EECS, University of California, Berkeley,
EE, University of California, Los Angeles,
ESE, University of Pennsylvania

I am joining the Electrical and Computer Engineering Deaprtment at UMD in Fall 2017 as an assistant professor. I am looking for bright PhD students with interests and expertise in cyber-physical systems, formal methods, control theory, and machine learning!

I am a postdoctoral scholar at UC Berkeley/UCLA/UPenn. I work with Prof. George J. Pappas (UPenn), Prof. Sanjit A. Seshia (UC Berkeley), and Prof. Paulo Tabuada (UCLA). I received my Ph.D. in Electrical Engineering from UCLA in 2015, where I worked with both Prof. Paulo Tabuada and Prof. Mani Srivastava. My main research interests lie in the general area of designing and implementing cyber-physical systems (CPS) and Internet of Things (IoT) with specific interest on security and privacy problems. My research draws on tools from both electrical engineering (e.g. control theory and optimization theory) and computer science (e.g. embedded systems and formal methods). I enjoy building new hardware artifacts, devise new algorithms that work well in practice as well as analyzing their performance from a theoretical point of view.

 

Menu:

Journal Articles (Preprints)

  1. A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks

    Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, and Paulo Tabuada [arXiv].

  2. Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks

    Yasser Shoukry, Paul Martin, Yair Yona, Suhas Diggavi, and Mani Srivastava [arXiv].



Journal Articles

  1. SMT-Based Observer Design For Cyber Physical Systems Under Sensor Attacks

    Yasser Shoukry, Michelle Chong, Masashi Wakiaki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Joao. P. Hespanha, and Paulo Tabuada.

    ACM Transactions on Cyber Physical Systems (ACM TCPS), invited paper, to appear.

  2. Secure State Estimation against Sensor Attacks in the Presence of Noise

    Shaunak Mishra, Yasser Shoukry Nikhil Karamchandani, Suhas Diggavi, and Paulo Tabuada.

    IEEE Transactions of Networked Control Systems (special issue on security in cyber physical systems) [paper].

  3. Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

    Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, and Paulo Tabuada.

    IEEE Transactions of Automatic Control, to appear, a preprint can be found on the [arXiv].

  4. Event-Triggered State Observers for Sparse Sensor Noise/Attacks

    Yasser Shoukry and Paulo Tabuada.

    IEEE Transactions of Automatic Control, to appear, an early access version can be found on the [paper] .

  5. An Embedded Implementation of the Generalized Predictive Control Algorithm Applied to Automotive Active Suspension Systems

    Yasser Shoukry, M. Watheq El-Kharashi, and Sherif Hammad.

    Computers & Electrical Engineering, Elsevier, vol:39 (2), pp: 512–529, February 2013. [paper]

  6. MPC-on-Chip: An Embedded GPC Co-processor for Automotive Active Suspension System

    Yasser Shoukry, M. Watheq El-Kharashi, and Sherif Hammad.

    IEEE Embedded Systems Letters, vol:2 (2), pp: 31-34, June 2010. [paper]



Computer Science Related Conferences (Single Track, Highly Selective)

  1. ProLoc: Resilient Localization with Private Observers Using Partial Homomorphic Encryption

    Amr Alnwar, Yasser Shoukry, Supriyo Chakraborty, Paul Martin, Paulo Tabuada, and Mani Srivastava

    The 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN) 2017, to appear.

  2. SMC: Satisfiability Modulo Convex Optimization

    Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada.

    the 20th ACM International Conference on Hybrid Systems: Computation and Control (ACM HSCC) 2017, to appear.

  3. SMT-Based Observer Design For Cyber Physical Systems Under Sensor Attacks

    Yasser Shoukry, Michelle Chong, Masashi Wakiaki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Joao. P. Hespanha, and Paulo Tabuada.

    ACM/IEEE 7th International Conference on Cyber Physical Systems (ICCPS) 2016, Vienna, Austria, April 11-14 (Best Paper Award).

  4. PyCRA: Physical Challenge-Response Authentication for Active Sensors Under Spoofing Attacks

    Yasser Shoukry, Paul Martin, Yair Yona, Mani Srivastava, and Suhas Diggavi.

    The 22nd ACM Conference on Computer and Communications Security (ACM CCS 2015), pp. 1004-1015, Denver, CO, October 12-16, 2015. (acceptance rate=19%)

  5. Social Spring: Encounter-based Path Refinement for Indoor Tracking Systems

    Paul Martin, Yasser Shoukry, Prashanth Swaminathan, Robin Wentao Ouyang, and Mani Srivastava.

    Proceedings of the 1st ACM International Conference on Embedded Systems for Energy-Efficient Buildings (BuildSys 2014), Memphis, Tennessee, November 5-6, pp. 156-159 (acceptance rate=20%).

  6. ipShield: A Framework For Enforcing Context-Aware Privacy

    Supriyo Chakraborty, Chenguang Shen, Kasturi Rangan Raghavan, Yasser Shoukry, Matt Millar, Mani Srivastava

    Proceedings of the 11th USENIX Symposium Networked Systems Design and Implementation (NSDI) 2014, Seattle, WA, USA, April 2–4, 2014, pp. 143-156 (acceptance rate=17%). [paper]

  7. Non-invasive Spoofing Attacks For Anti-Lock Braking Systems

    Yasser Shoukry, Paul Martin, Paulo Tabuada, and Mani Srivastava

    The 15th International Workshop on Cryptographic Hardware and Embedded Systems 2013 (CHES 2013), ser. Lecture Notes in Computer Science, Springer, Berlin, G. Bertoni and J.-S. Coron, Eds., vol. LNCS 8086, pp. 55-­72 (acceptance rate=20%). [paper] [slides]

  8. Minimax Control For Cyber-Physical Systems under Network Packet Scheduling Attacks

    Yasser Shoukry, Jose Araujo, Paulo Tabuada, Mani Srivastava, and Karl H. Johansson

    Proceedings of the 2nd Conference on High Confidence Networked Systems (HiCoNS) at CPS Week 2013, pp. 93-100, Philadelphia, USA, 8-11 April 2013. [paper] [slides]
    (This conference is subsumed by the ICCPS security track).

  9. Input-output robustness for discrete systems

    Paulo Tabuada, Ayca Balkan, Sina Yamac Caliskan, Yasser Shoukry, and Rupak Majumdar

    Proceedings of the tenth ACM international conference on Embedded software (EMSOFT) at Embedded Systems Week 2012, pp. 217-226 (acceptance rate=28%). [paper]



Electrical Engineering Related Conferences

  1. Closed Form Controlled Invariant Sets for Pedestrian Avoidance

    Yasser Shoukry, Paulo Tabuada, Stephanie Tsuei, Mark B. Milam, Jessy W. Grizzle, and Aaron Ames.

    the 2017 American Control Conference (IEEE ACC), to appear.

  2. Privacy-Aware Quadratic Optimization Using Partially Homomorphic Encryption

    Yasser Shoukry, Konstantinos Gatsis, Amr Alanwar, George J. Pappas, Sanjit A. Seshia, Mani Srivastava, and Paulo Tabuada.

    55th IEEE Conference on Decision and Control (CDC) 2015, Las Vegas, NV, December 2016.

  3. Scalable Motion Planning Using Lazy SMT-Based Solving

    Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, and Paulo Tabuada.

    55th IEEE Conference on Decision and Control (CDC) 2015, Las Vegas, NV, December 2016.

  4. Attack Detection and State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving

    Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, and Paulo Tabuada.

    54th IEEE Conference on Decision and Control (CDC) 2015, pp. 3804–3809, Osaka, Japan, December 2015.

  5. Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attack Using Satisfiability Modulo Theory Solving

    Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, and Paulo Tabuada.

    The 2015 American Control Conference (ACC), pp. 3818–3823, Chicago, IL, July 2015. (Best Session Presentation Award)

  6. Bio-Inspired Underwater Electrolocation through Adaptive System Identification

    Newton Truong, Yasser Shoukry, and Mani Srivastava.

    The 2015 American Control Conference (ACC), pp. 4473–4478, Chicago, IL, July 2015.

  7. Secure State Estimation: Optimal Guarantees against Sensor Attacks in the Presence of Noise

    Shaunak Mishra, Yasser Shoukry Nikhil Karamchandani, Suhas Diggavi, and Paulo Tabuada.

    The International Symposium Of Information Theory (ISIT) 2015, pp. 2929–2933, Hong Kong, June 2015.

    An extended version can be found on the [arXiv].

  8. Event-Triggered Projected Luenberger Observer For Linear Systems Under Sparse Sensor Attacks

    Yasser Shoukry and Paulo Tabuada.

    Proceedings of the 53rd IEEE Conference on Decision and Control (CDC) 2014, Los Angeles, CA, USA, Dec 15-17, 2014, pp. 3548 - 3553. [paper]

  9. Graph-based Approach for Software Allocation in Automotive Networked Embedded Systems: A Partition-and-Map Algorithm

    Yasser Shoukry, Ajay Kumar, M. Watheq El-Kharashi, Ghada Bahig, and Sherif Hammad

    Forum on specification & Design Languages, Paris, France, September 2013 [slides]

  10. Neural Generalized Predictive Controller Stability Analysis

    Hesham Fouad, Yasser Shoukry, Hazem Abbas, and Sherif Hammad

    15th International Conference on System Theory, Control and Computing (ICSTCC) 2011, Sinaia, Romania, 14-16 October 2011. [paper]

  11. Distributed Dynamic Scheduling of Controller Area Network Messages for Networked Embedded Control Systems

    Yasser Shoukry, Hesham Shokry, and Sherif Hammad

    18th IFAC World Congress 2011, pp:1959-1964, Milan, Italy, 28 August - 2 September 2011. [paper] [slides]

  12. Embedded Hardware Architecture for GPC-on-Chip Applied to Automotive Active Suspension Systems

    Yasser Shoukry, M. Watheq El-Kharashi, and Sherif Hammad

    Saudi International Electronics, Communications and Photonics Conference (SIECPC) 2011, Riyadh, Saudi Arabia, 24-26 April 2011. [paper]

  13. Towards Real-Time Networked Embedded Generalized Predictive Control for Automotive Active Suspension System

    Yasser Shoukry, M. Watheq El-Kharashi, Mohamed El-Shafey, and Sherif Hammad

    IFAC Symposium on Advances of Automotive Control 2010, pp:348-353, Munich, Germany, July 2010. [paper]

  14. Networked Embedded Generalized Predictive Controller for Active Suspension System

    Yasser Shoukry, Mohamed El-Shafey, and Sherif Hammad

    American Control Conference (ACC) 2010, pp:4570-4575, Baltimore, USA, July 2010. [paper] [slides]

  15. Real-Time Markov Localization for Autonomous UGV

    Yasser Shoukry, Walid Farid, and Sheirf Hammad

    4th International IEEE Design and Test Workshop (IDT) 2009, Saudi Arabia, Riyadh, 15-17 November 2009. [paper]



Workshop

  1. Location-based services for homeless population

    Min Kyung Lee, Lisa Otto, Vasu Raman, and Yasser Shoukry.

    The 2016 Urban Homelessness and Underserved Communities. The workshop is affiliated with the Eighth International Conference on Social Informatics (SocInfo 2016).

  2. IMHOTEP-SMT: A Satisfiability Modulo Theory Solver For Secure State Estimation

    Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, Mani Srivastava, and Paulo Tabuada.

    13th Internation Workshop on Satisfiability Modulo Theories (SMT) 2015. The workshop is affiliated with the 27th International conference on Computer Added Verification (CAV 2015).



Thesis

  1. Security and Privacy in Cyber-Physical Systems: Physical Attacks and Countermeasures [pdf]

    Yasser Shoukry



  2. MPC-on-Chip in Application of Automotive Active Suspension System

    Yasser Shoukry

    LAP LAMBERT Academic Publishing, ISBN: 978-3-8454-0168-3 [link]