Recent News

Paper accepted at IEEE TAC!

January 2019 - Paper "Relaxing Integrity Requirements for Cyber-Physical Systems" has been accepted at the IEEE Transactions on Automatic Control!

Paper accepted at ICRA'19!

January 2019 - Our paper on "Security-Aware Synthesis of Human-UAV Protocols" has been accepted at the IEEE International Conference on Robotics and Automation (ICRA'19)!

Paper accepted at IoTDI'19!

January 2019 - Our paper on "Reliable Industrial IoT-Based Distributed Automation" has been accepted at the ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI, CPS-IoT Week 19)!

Paper Accepted at TACAS'19

January 2019 - Our paper on "LCV: A Verification Tool for Linear Controller Software" has been accepted at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)!

IEEE TCCPS Member-at-Large

January 2019: Dr. Pajic has been elected as a member-at-large of the IEEE Technical Committee on Cyber-Physical Systems (TCCPS)!

Paper accepted at IEEE THMS!

December 2018 - Our paper on "Operator Strategy Model Development in UAV Hacking Detection" has been accepted at the IEEE Transactions on Human-Machine Systems.

New NSF CPS Medium Grant!

July 2018 - CPSL has received a 3-year grant from the National Science Foundation, Cyber-Physical Systems Program for "Human-on-the-Loop Control for Smart Ultrasound Imaging", with our partners from Mayo Clinic.

IBM Faculty Award!

July 2018 - Dr. Pajic receives IBM Faculty Award for his work on anomaly detection in cyber-physical systems!

Paper accepted at CDC'18

July 2018 - Our paper on "Secure State Estimation with Cumulative Message Authentication" has been accepted at the 57th IEEE Conference on Decision and Control (CDC'18)!

Grant from the Lord Foundation of North Carolina!

June 2018 - CPSL received a 1-year grant from the Lord Foundation of North Carolina for "Development of Hardware-in-the Loop Testbeds and Course Modules for Hands-on Student Experiences in Embedded and Cyber-Physical Systems".

Co-Chairing ICCPS'19 TPC!

May 2018 - Dr. Pajic will co-chair the Technical Program Comittee for the 10thACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'19), the premier conference in the domain of cyber-physical systems! Submit your best work.

Intel/NSF project on CPS Security renewed!

May 2018 - Our Intel/NSF project on CPS security will be funded for two more years!

Nortel Networks Chair in Pratt School of Engineering!

February 2018 - Dr. Pajic receives Nortel Networks Professorship from Pratt School of Engineering at Duke University!

Paper accepted at IEEE Transactions on Automatic Control!

January 2018 - Paper on "Continuous Estimation Using Context-Dependent Discrete Measurement" has been accepted for publication in the IEEE Transactions on Automatic Control!

Paper accepted at ICCPS'18

December 2017 - Our paper "Platform for Model-Based Design and Testing for Deep Brain Stimulation" has been accepted at the 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'18)!

Best Paper Award at EMSOFT'17!

October 2017 - Our paper on Security-Aware Scheduling of Embedded Control Tasks wins the Best Paper Award at the 17th ACM SIGBED International Conference on Embedded Software (EMSOFT'17), part of the ESWeek!

CPS Security in Wall Street Journal

September 2017 - Dr. Pajic has been quoted in a Wall Street Journal article on automotive security!

Paper accepted at RTSS'17

July 2017 - Our paper "Network Scheduling for Secure Cyber-Physical Systems" has been accepted at the IEEE Real-Time Systems Symposium (RTSS'17)!

Paper accepted at CDC'17

July 2017 - Paper on "Sporadic Data Integrity for Secure State Estimation" has been accepted at the 56th IEEE Conference on Decision and Control (CDC'17)!

Dr. Pajic serves on FTC + NHTSA "Security of Connected Cars" panel

June 2017 - Dr. Pajic was expert panelist on the "Security of Connected Cars" panel, at the Workshop on Connected Cars organized by the Federal Trade Commission (FTC) and the National Highway Traffic Safety Administration (NHTSA)!

Paper accepted to EMSOFT for ESWeek'17!

June 2017 - Our paper Security-Aware Scheduling of Embedded Control Tasks has been accepted at the ESWeek 2017 in Seoul, S. Korea, and will appear in the ACM Transactions on Embedded Computing Systems!

Paper accepted to IEEE TCAD

June 2017 - Paper on "Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip" has been accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems!

Paper accepted to CASES for ESWeek'17!

June 2017 - Our paper  Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips has been accepted to CASES at ESWeek 2017, and will appear in the ACM Transactions on Embedded Computing Systems!

Dr. Pajic to attend Frontiers of Engineering Symposium

May 2017 - Dr. Pajic is invited to attend Frontiers of Engineering Symposium organized by the National Academy of Engineering!