New NSF AI Institute!
July 2021 - Duke will lead a new $20M NSF AI Institute for Edge Computing! CPSL@Duke leads Research Thrust 4 -- Design of Autonomous Cyber-Physical Services at the Edge!
Paper accepted at TASE!
August 2021 - Our paper that introduces a security analysis methodology for IoT-based industrial automation systems has been accepted at the IEEE Transactions on Automation Science and Engineering!
Paper accepted at Automatica!
August 2021 - A paper on requirements for intermittent authentication for attack-resilient state estimation has been accepted at Automatica!
Paper accepted at TCAD!
August 2021 - A paper on formal methods-based methodology for adative droplet routing in MEDA biochips has been accepted at the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems!
Paper accepted at CDC!
August 2021 - A paper on high-assurance model-free learning methods of safe controllers that also maximize the guarantees to complete the desired mission has been accepted at 2021 IEEE Conference on Decision and Control (CDC)!
New NIH Grant!
April 2021 - CPSL@Duke is a part of a team that received new RO1 on ``Analyzing retinal microanatomy in retinopathy of prematurity to improve care" by the NIH!
Workshop on future of CPS!
April/June 2021 - Dr. Pajic organized an NSF-supported invitation only workshop on future of CPS! The workshop discussion and findings have been reported at a short workshop during the NSF CPS PI meeting in June 2021.
Two papers accepted at ICRA'21!
February 2021 - Two papers, focused on high-assurance model free learning for stochastic games and security-aware planning using model-free learning have been accepted at 2021 IEEE International Conference on Robotics and Automation (ICRA)!
Paper accepted at the ARVO TVST Journal!
February 2021 - New work in ARVO’s Translational Vision Science & Technology (TVST) journal (premier journal in ophthalmology), part of CPSL@Duke collaboration with Duke Eye Center!
Paper accepted at ICCPS'21!
December 2020 - A paper on probabilistic conformance for cyber-physical systems has been accepted at 2021 IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS'21)!
Paper accepted at DATE'21!
December 2020 - A paper introducing formal synthesis methodology for adaptive droplet routing in MEDA biochips has been accepted at 2021 IEEE Design, Automation and Test in Europe (DATE) conference!
Paper accepted at Automatica!
September 2020 - A paper on scalable methods for state estimation in the presence of sensor attacks has been accepted at Automatica!
Talk at Galois
September 2020 - Dr. Pajic gave an invited talk on security-aware cyber-physical systems with varying levels of autonomy at Galois.
New NIH funding!
August 2020 - We received funding from the NIH for our research on closed-loop Deep-Brain Stimulation (DBS)! This 2-year effort will allow us to develop and evaluate closed-loop DBS therapies both in clinical settings as well as patient's homes using the Medtronic RC+S platform.
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!
Collaboration with NATO's CMRE!
August 2020 - CPSL@Duke started collaboration with NATO's CMRE focusing on security-aware design and analysis of autonomous unmanned underwater systems!
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!