Recent News
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!
Paper accepted in Automatica
May 2017 - Paper on "A Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems" has been accepted for publication in Automatica!
Public demonstration of RESCHU-SA
April 2017 - First public demonstration of RESCHU-SA, our newly developed extendable virtual platform that facilitates studying the impact that Human-on-the-Loop have on security of CPS with varying levels of autonomy. It allows users to analyze how inductive reasoning and ability to provide context, particularly during an attack, affects the overall CPS security guarantees.
Dr. Pajic receives the NSF CAREER award
March 2017 - Dr. Pajic has received the NSF Faculty Early Career Development (CAREER) Award!
Dr. Pajic receives ONR Young Investigator Award
February 2017 - Dr. Pajic has received the 2017 Young Investigator Award from the Office of Naval Research (ONR)!
Paper accepted in ACM TCPS
February 2017 - Paper on "Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults" has been accepted for publication in the ACM Transactions on Cyber-Physical Systems!
Paper accepted at TACAS'17
December 2016 - Paper on "Automatic Verification of Finite Precision Implementations of Linear Controllers" has been accepted at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17)!
Paper accepted in IEEE TCNS
August 2016 - Paper "Attack-Resilient State Estimation for Noisy Dynamical Systems" has been accepted for publication in IEEE Transactions on Control of Network Systems!
Paper accepted to IEEE Control Systems
July 2016 - Paper on "Design and Implementation of Attack-Resilient Cyber-Physical Systems" has been accepted for publication in IEEE Control Systems!
Paper accepted at ETFA'16
May 2016 - Our paper "Towards Plug-n-Play Numerical Control for Reconfigurable Manufacturing Systems" has been accepted at the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'16)!
Paper accepted to ICCAD'16
June 2016 - Paper "Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip" has been accepted at the International Conference on Computer Aided Design (ICCAD'16)!
Special session accepted at CODES+ISSS (ESWEEK'16)
June 2016 - Special Session "Making the Internet-of-Things a Reality: From Smart Models, Sensing and Actuation to Energy-Efficient Architectures" accepted at the CODES+ISSS, part of Embedded Systems Week (ESWEEK'16)!
Paper accepted in IEEE TCNS
May 2016 - Paper on "Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks" has been accepted for publication in the IEEE Transactions on Control of Network Systems!
Special issue in ACM Transactions on CPS
March 2016 - Dr. Pajic will organize a Special Issue on Medical CPS in the ACM Transactions on Cyber-Physical Systems. Please consider submitting your best work!
Paper accepted at ICCPS'16
December 2015 - Paper "Estimation of Blood Oxygen Content Using Context-Aware Filtering" has been accepted at the 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'16)!
Paper accepted at TACAS'16
December 2015 - Paper "Scalable Verification of Linear Controller Software" has been accepted at the Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16)!
Paper accepted to ACM TECS
November 2015 - Paper on "Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems" has been accepted for publication in the ACM Transactions on Embedded Computing Systems!