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 interest is distributed embedded system security in early system design and optimization phase. My current work is the usage optimization of cryptography under various 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

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

Publications

• 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. :-)