About

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 here.

Teaching

• TDTS08 Advanced computer architecture
  • Course assistant (2012)
  • Course assistant (2011)
  • Lab assistant (2010)
• TDDB84 Design Patterns
  • Lab assistant (2012)
• TDDI11 Embedded software
  • Lab assistant (2012)
• TDDC32 Design and implementation of a software module in Java
  • Course assistant (2011)

Publications

• 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 (RTCSA 2012), 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
  The 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.

More information is coming soon. Thank you for being the -th visitor of mine. :-)