Recent News

NSF CAREER Award!

• Feb 2018: Prof. Shoukry receives the prestigious NSF CAREER Award for his proposal titled "Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems"!

New Northrup Grumman-UMD Seed Project

• Feb 2018: Prof. Yasser Shoukry and Prof. Nuno Martins received a one-year grant from Northrop Grumman to investigate "Security and Networking Co-Design for Industrial IoT".

Talk on Resilient and Verifiable Autonomous CPS

• Feb 2018: Prof. Shoukry will give a colloquium talk on "Resilient and Verifiable Autonomous CPS" at the University of Virginia.

Paper accepted in SafeThings

• Jan. 2018: Our paper titled " SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT" is accepted to appear in the Proceedings of IEEE Workshop on the Internet of Safe Things (SafeThings 2019). The workshop is affiliated with IEEE Security and Privacy (Oakland).

Paper accepted in ICRA

• Jan. 2018: Our paper titled " DoS-Resilient Multi-Robot Temporal Logic Motion Planning" is accepted to appear in the Proceedings of International Conference on Robotics and Automation (ICRA), 2019.

Paper accepted in HSCC (CPS-IoT Week)

• Dec. 2018: Our paper titled " Formal Verification of Neural Network Controlled Autonomous Systems" is accepted to appear in the Proceedings of Hybrid Systems: Computation and Control (HSCC), 2019.

RCPSL Students in the news!

• Oct. 2018: Congratulations Rohit on being part of UMD Paratroopers team who won third place at the IROS Autonomous Drone Racing Competition held in Madrid!

Co-Chairing ACM SafeThings TPC

• Oct. 2018: The ACM Workshop on the Internet of Safe Things (ACM SafeThings) 2019 will take place in San Francisco (Co-located with IEEE S&P). Consider submitting your best papers!

Talks on Resilient and Verifiable Autonomous CPS

• Oct. 2018: Prof. Shoukry will give talks on "Resilient and Verifiable Autonomous CPS" at University of California San Diego and Stanford University.

STEM Outreach:

• Sep. 2018: RCPSL lab will participate in the "Tech + Research: Welcoming Women to Computing Research" (in collaboration with Technica, the largest all-women hackathon in the nation) event. If you are an undergraduate student, consider participating in our project. It will be fun!

New NSF CPS Project

• Sept. 2018: Prof. Yasser Shoukry and Prof. P. S. Krishnaprasad received a three-year project to study "Resilient-by-Cognition Cyber-Physical Systems".

Co-Organizing a Special Session at EMSOFT

• July 2018: Co-chairing a special session at EMSOFT 2018 titled "Embedded Software for Robotics: Challenges and Future Directions". If you are attending ES Week, make sure to attend!

Debbie Tsai Graduated!

• June 2018: Debbie Tsai defended her MS thesis and will join Microsoft! Congratulations Debbie!

Paper accepted in Proceedings of the IEEE

• June 2018: Our paper titled " SMC:Satisfiability Modulo Convex Programming" is accepted to appear in the Proceedings of the IEEE, 2018.

Co-Chairing ACM SafeThings TPC

• May 2018: The 2nd ACM Workshop on the Internet of Safe Things (ACM SafeThings) 2018 will take place in Shenzhen, China (Co-located with SenSys and BuildSys). Consider submitting your best papers!

Dr. Shoukry to deliver a talk at the Laboratory For Telecommunication Sciences

• February 2018: Invited talk at the Laboratory For Telecommunication Sciences, a federally funded lab.

New Northrup Grumman-UMD Seed Project

• January 2018: Prof. Yasser Shoukry and Prof. P. S. Krishnaprasad received a one-year grant from Northrop Grumman to investigate "Attack-Resilient Law-Enforcement Drones".

Paper accepted in ICCPS

• December 2017: Our paper titled "Sybil-Attack Resilient Traffic Networks: A Physics-Based Trust Propagation Approach" is accepted in ICCPS 2018.

Press Coverage:

• December 2017: My work on sensor security and privacy is featured in the IoT Privacy Forum.

Talk in the NIST IoT Cybersecurity Colloquium

• October 2017: Prof. Shoukry will give an invited talk at the NIST IoT Cybersecurity Colloquium.

Paper Accepted in ACM BuildSys

• September 2017: Our paper entitled "Towards a Socially Responsible Smart City: Dynamic Resource Allocation for Smarter Community Service" is accepted for publication in BuildSys 2017.

First Day of Work!

• August 2017: Joined the faculty of the ECE department at the University of Maryland, College Park.