The paper Automatic Generation of Security Requirements for Cyber-Physical Systems, a collaboration of the Empirical Software Engineering group with the Tongji University, Shanghai, China, received the best paper award at the EAI International Conference on Cognitive Computing and Cyber Physical Systems 2020.
The authors Jinghua Yu, Stefan Wagner and Feng Luo are delighted to have received this award for their work uses the system-theoretic process analysis (STPA) and extends it with data-flow analysis to generate security requirements for cyber-physical systems.