Recent News

Paper accepted at ACM TCPS!

January 2020 - Our paper "Integrating Security in Resource-Constrained Cyber-Physical Systems" has been accepted at the ACM Transactions on Cyber-Physical Systems!

New ONR Grant!

January 2020 - CPSL@Duke received new ONR grant! This 3-year single PI ($570K) grant will provide Platform-Level Services for Security of Naval Cyber-Physical Systems!

Papers accepted at ICCPS'20 and HSCC'20!

December 2019 - Two papers accepted at CPSWeek'20! Paper “Model-based Design of Closed-Loop Deep Brain Stimulation Controllers using Reinforcement Learning”, will be presented at the 11th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'20), while paper “Statistical Verification of Learning-Enabled Controlled Systems” will appear at the23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC'20)!

Dr. Pajic Chairs 2019 NSF CPS PI Meeting TCP!

November 2019 - Dr. Pajic is the Technical Program Committee Chair for the 2019 NSF Cyber-Physical Systems (CPS) Principal Investigator (PI) Meeting in Washington, DC!

Best Paper Finalist at EMSOFT'19!

October 19 - Our paper on "Statistical Verification of Hyper-properties for Cyber-Physical Systems" is a Best Paper Finalist at EMSOFT'19!

Paper accepted at ACC'20

January 2020 - Paper “Perfect Attackability of Linear Dynamical Systems with Bounded Noise”, has been accepted at 2020 American Control Conference (ACC).

First CPSL@Duke PhD Graduate!

August 2019 - Congratulations to Vuk Lesi for succesfully defending his PhD Thesis! Great job Vuk!

Paper accepted at EMSOFT'19!

July 2019 - Our paper on "Statistical Verification of Hyper-properties for Cyber-Physical Systems" has been accepted at EMSOFT'19, and will also appear in the ACM Transactions on Embedded Computing Systems!

IEEE TCCPS Early-Career Award!

May 2019 - Dr. Pajic receives the 2019 IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Early-Career Award for "outstanding contributions to design and analysis methodologies for high-assurance cyber-physical systems"!

Pratt annoncement is here

ACM SIGBED Early Career Award!

April 2019 - Dr. Pajic receives the 2019 ACM SIGBED Early Career Award for "outstanding contributions by early career investigators in the area of embedded, real-time, and cyber-physical systems"!

Pratt Engineering annoncement is here

Paper accepted at CAV'19!

April 2019 - Paper "Security-Aware Synthesis using Delayed Action Games” has been accepted at the 31st International Conference on Computer-Aided Verification (CAV'19)!

New AFOSR Center of Excellence!

April 2019 - CPSL@Duke will be leading the security thrust in the new 6-year AFOSR Center of Excellence focused on Assuring Autonomy in Contested Environments!

Pratt annoncement is here

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 ETFA'19!

May 2019 - Our paper on “Synchronization of Distributed Controllers in Cyber-Physical Systems” has been accepted at the 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'19)!

Paper accepted at IEEE TCST!

April 2019 - Our paper "Distributing Sequential Control for Manufacturing Automation Systems” has been accepted at the IEEE Transactions on Control Systems Technology!

New NSF Grant!

April 2019 - We received a new NSF grant from the Communications, Circuits, and Sensing-Systems (CCSS) Program on "Adaptive Protocol Synthesis and Error Recovery in Micro-Electrode-Dot-Array (MEDA) Microfluidic Biochips"!

NSF IUCRC for ASIC Kick-off!

February 2019 - Our new NSF IUCRC for Alternative Sustainable and Intelligent Computing (ASIC) has its kickoff meeting on Feb 14-15th!

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 Senior Member!

March 2019 - Dr. Pajic is now an IEEE Senior member. "IEEE Senior Membership is an honor bestowed only to those who have made significant contributions to the profession"! 

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.

Pages