News
Talk at SRC ICT Security Workshop!
August 2020 - Dr. Pajic gave an invited talk on Autonomous System Security, at the SRC ICT Hardware Enabled Security Workshop!
Two new PhD students joined the CPSL@Duke lab!
August 2020 - CPSL@Duke welcomes two new students Anne French and Spencer Hallyburton! Spencer has received 2020 NSF GRF and Anne received one of the three Air Force fellowships for 2020!
Talk at AVSS'20!
July 2020 - Dr. Pajic gave an invited talk on Security-Aware Control of Autonomous Vehicles, at the Automated Vehicles Symposium, Session on Hot Topics in Security and Privacy of Automated Driving!
Dickinson Family Professorship!
June 2020 - Dr. Pajic recevied Dickinson Family Professorship from Duke University!
Papers accepted at CSF'21, ESWeek'20, & ATVA'20!
June 2020 - Three papers accepted this week! A paper on “Statistical Model Checking for Probabilistic Hyperproperties” has been accepted at the 2021 IEEE Computer Security Foundations Symposium (CSF), "Extending the Lifetime of MEDA Biochips by Selective Sensing on Microelectrodes" has been accepted at the 2020 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), part of ESWeek'20, and “Context-Aware Temporal Logic for Probabilistic Systems” has been accepted at the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA)!
Keynote at SafeThings'20!
June 2020 - Dr. Pajic gave a keynote on "Assuring Safety and Security in Cyber-Physical Systems with Varying Levels of Autonomy" at SafeThings'20!
Paper accepted at the IEEE Transactions on Industrial Informatics!
March 2020 - Our paper "Attacks on Distributed Sequential Control in Manufacturing Automation” has been accepted at the IEEE Transactions on Industrial Informatics! The paper shows how to model and analyze performance of manufacturing systems under several types of attacks.
3 Papers accepted at ICRA'20!
January 2020 - Our papers on "Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning", "Hyperproperties for Robotics: Motion Planning via HyperLTL", and "Deep Imitative Reinforcement Learning for Temporal Logic Robot Motion Planning with Noisy Semantic Observations" have been accepted at the 2020 IEEE International Conference on Robotics and Automation (ICRA)!
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!
Paper accepted at ARVO TVST Journal!
January 2020 - Our paper on "Automated Recognition of Retinal Pigment Epithelium Cells on Limited Training Samples Using Neural Networks" has been accepted at the ARVO’s Translational Vision Science & Technology (TVST) journal. This is part of our collaboration with Duke Medicine and Duke Eye Center on using AI in ophthalmology.
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).