I am currently pursuing my PhD in the
Embedded Systems Lab, at the Department of Computer and Information Science, Linköping University (LiU), Sweden. My research will mostly be in the area of embedded system security, under the supervision of Prof. Zebo Peng and Prof. Petru Eles.
Before joining ESLab, I did my master in Computer Science from
Department of Information Technology, Uppsala University, and obtained my bachelor's degree in Information Security from School of Computer and Communication, Hunan University. Research
My research interests are in the design and optimization of secure embedded systems. My current work is to optimize cryptography implementations under various system constraints.
Previously, I also gained some experience in model checking, and developed an automatic model checking tool for a subset of ANSI C, by translating C code to Promela. For more information, please refer
Detecting Fault Injection Attacks on Embedded Real-Time Applications: A System-Level Perspective Liang Wen, Wei Jiang, Ke Jiang, Xia Zhang, Xiong Pan, and Keran Zhou
17th IEEE International Conference on High Performance Computing and Communications (HPCC), New York, USA, August 24-26, 2015
Energy Optimization of Security-Critical Real-Time applications with Guaranteed Security Protection Wei Jiang, Ke Jiang, Xia Zhang, Yue Ma
Journal of Systems Architecture, 2015
The influence of real-time scheduling on differential power analysis attacks Ke Jiang, Lejla Batina, Petru Eles, Zebo Peng
TRUDEVICE 2015: Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, Grenoble, France, March 13, 2015
Robustness Analysis of Real-Time Scheduling Against Differential Power Analysis Attacks Ke Jiang, Lejla Batina, Petru Eles, Zebo Peng
IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2014), Tampa, FL, USA, July 9-11, 2014
Energy Aware Real-Time Scheduling Policy with Guaranteed Security Protection Wei Jiang, Ke Jiang, Xia Zhang, Yue Ma
19th Asia and South Pacific Design Automation Conference (ASPDAC2014), SunTec, Singapore, January 20-23, 2014
Energy-Aware Design of Secure Multi-Mode Real-Time Embedded Systems with FPGA Co-Processors Ke Jiang, Adrian Lifa, Petru Eles, Zebo Peng, Wei Jiang
21st International Conference on Real-Time Networks and Systems (RTNS2013), Sophia Antipolis, France, October 16-18, 2013.
Design Optimization of Security-Sensitive Mixed-Criticality Real-Time Embedded Systems Xia Zhang, Jinyu Zhan, Wei Jiang, Yue Ma and Ke Jiang
1st workshop on Real-Time Mixed Criticality Systems (ReTiMiCS2013), Taipei, Taiwan, August 21, 2013.
Design Optimization of Energy- and Security-Critical Distributed Real-Time Embedded Systems Xia Zhang, Jinyu Zhan, Wei Jiang, Yue Ma, Ke Jiang
27th International Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), Boston, USA, May 20, 2013.
A Design Framework for Dynamic Embedded Systems with Security Constraints Ke Jiang, Petru Eles, Zebo Peng
The 12th Swedish System-on-Chip Conference (SSoCC 2013), Ystad, Sweden, May 6-7, 2013.
Optimization of Secure Embedded Systems with Dynamic Task Sets Ke Jiang, Petru Eles and Zebo Peng
Design Automation and Test in Europe (DATE13), Grenoble, France, March 18-22, 2013.
Resource Allocation of Security-Critical Tasks with Statistically Guaranteed Energy Constraint Wei Jiang, Ke Jiang, Yue Ma
International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA2012), Seoul, Korea, August 19-22, 2012.
Co-Design Techniques for Distributed Real-Time Embedded Systems with Communication Security Constraints Ke Jiang, Petru Eles and Zebo Peng
Design Automation and Test in Europe (DATE12), Dresden, Germany, March 12-16, 2012.
Performance Comparison of Simulated Annealing and Tabu Search on Block Cipher Optimization in Distributed Embedded Systems Ke Jiang, Petru Eles and Zebo Peng
11th Swedish System-on-Chip Conference, Varberg, Sweden, May 2-3, 2011 (not reviewed, not printed).
Optimization of Message Encryption for Distributed Embedded Systems with Real-Time Constraints Ke Jiang, Petru Eles and Zebo Peng
14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS11), Cottbus, Germany, April 13-15, 2011.
Using SPIN to Model Check Concurrent Algorithms, using a translation from C to Promela Ke Jiang and Bengt Jonsson
Second Swedish Workshop on Multi-Core Computing (MCC09), Uppsala, Sweden, November 26-27, 2009.
Model Checking C Programs by Translating C to Promela Ke Jiang
Master thesis, Supervisor: Bengt Jonsson, Examiner: Parosh Abdulla, 2009.