Linköping University: Students Alumni Trade and Industry/Society Internal Search
Ke Jiang
Ke Jiang
Dept. of Computer and Information Science
Linköpings universitet
SE-581 83 LINKÖPING
SWEDEN
ke.jiang@liu.se
+46-(0)13-28 26 91
B 329:204 (show map)
Homepage: www.ida.liu.se/~keji38/
Member of:
Embedded Systems (ESLAB)
Software and Systems (SaS)

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

  • Exjobb (Master thesis)
    • Co-supervisor, Assessing Feasibility of Cache-Based Side Channel Attacks (2015)
    • Co-supervisor, A Framework for Software Security Testing and Evaluation (2015)
    • Main supervisor, Evaluation of Critical Event Occurrences in Real-Time Embedded Systems with Security Consideration, (2014)
    • Main supervisor, Co-design of Fault-Tolerant Systems with Imperfect Fault detection, (2013)
  • TDTS08 Advanced Computer Architecture
    • Course assistant (2015)
    • Course assistant (2014) (Evaluation score: 4.77/5)
    • Course assistant (2013) (Evaluation score: 4.5/5)
    • Course assistant (2012) (Evaluation score: 4.57/5)
    • Course assistant (2011) (Evaluation score: 4.2/5)
    • Lab assistant (2010) (Evaluation score: 4.62/5)
  • TDTS10 Computer Architecture
    • Lab assistant (2015)
  • TDDI11 Embedded Software
    • Course assistant (2015)
    • Course assistant (2014)
    • Course assistant (2013) (Evaluation score: 4.0/5)
    • Lab assistant (2012)
  • TDDB84 Design Patterns
    • Lab assistant (2012) (Evaluation score: 4.3/5)
  • TDDC32 Design and Implementation of A Software Module in Java
    • Course assistant (2011)

Publications

    Journal publications

  1. Power-Aware Design Techniques of Secure Multi-Mode Embedded Systems
    Ke Jiang, Petru Eles, Zebo Peng
    ACM Transactions on Embedded Computing Systems (TECS), 2015
  2. 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
  3. Conference and workshop publications

  4. SPARTA: A Scheduling Policy for Thwarting Differential Power Analysis Attacks
    Ke Jiang, Petru Eles, Zebo Peng, Sudipta Chattopadhyay, Lejla Batina
    21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016), Macao SAR, China, January 25-28, 2016
  5. Energy Optimization of Stochastic Applications with Statistical Guarantees of Deadline and Reliability
    Xiong Pan, Wei Jiang, Ke Jiang, Liang Wen, Qi Dong
    21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016), Macao SAR, China, January 25-28, 2016
  6. Detecting Fault Injection Attacks on Embedded Real-Time Applications: A System-Level Perspective (Invited Paper)
    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
  7. 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
  8. 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
  9. 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 (ASP-DAC2014), SunTec, Singapore, January 20-23, 2014
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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).
  18. 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.
  19. 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.
  20. Model Checking C Programs by Translating C to Promela
    Ke Jiang
    Master thesis, Supervisor: Bengt Jonsson, Examiner: Parosh Abdulla, 2009.

Presentations

  1. Holistic Design of Secure Real-Time System (Invited talk)
    FernUniversität in Hagen, Germany, Jun. 2015.
  2. The Influence of Real-Time Scheduling on Differential Power Analysis Attacks (Poster)
    TRUDEVICE Workshop (co-located with DATE), Grenoble, France, Mar. 2015.
  3. Power-Aware Design Techniques of Secure Multi-Mode Embedded Systems
    IDA PhD Student Workshop, Linköping, Sweden, Jan. 2015
  4. Robustness Analysis of Real-Time Scheduling Against Differential Power Analysis Attacks
    IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Tampa, USA, Jul. 2014
  5. Protecting Real-Time Systems Against DPA Attacks: A Scheduling Approach
    TRUDEVICE Meeting, Freiburg, Germany, Dec. 2013
  6. A Design Framework for Dynamic Embedded Systems with Security Constraints
    12th Swedish System-on-Chip Conference (SSoCC), Ystad, Sweden, May 2013
  7. Optimization of Secure Embedded Systems with Dynamic Task Sets
    Design Automation and Test in Europe (DATE), Grenoble, France, Mar. 2013
  8. Co-Design Techniques for Distributed Real-Time Embedded Systems with Communication Security Constraints
    Design Automation and Test in Europe (DATE), Dresden, Germany, Mar. 2012
  9. Performance Comparison of Simulated Annealing and Tabu Search on Block Cipher Optimization in Distributed Embedded Systems
    11th Swedish System-on-Chip Conference (SSoCC), Varberg, Sweden, May 2011
  10. Optimization of Message Encryption for Distributed Embedded Systems with Real-Time Constraints
    Design and Diagnostics of Electronic Circuits and Systems (DDECS), Cottbus, Germany, Apr. 2011
  11. Using SPIN to Model Check Concurrent Algorithms, using a translation from C to Promela
    Second Swedish Workshop on Multi-Core Computing (MCC), Uppsala, Sweden, Nov. 2009

Paper Reviews

  • International Workshop on Trustworthy Embedded Devices (TrustED2014), 2014
  • Asia and South Paci c Design Automation Conference (ASP-DAC2014), 2013
  • IEEE International Symposium on Hardware-Oriented Security and Trust (HOST2014), 2013

Participations

  • Summer School on Real-World Crypto and Privacy, Croatia, Jun. 2015
  • International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Korea, Aug. 2012
  • First International Workshop on Dependable and Secure Industrial and Embedded Systems (WORDS), Sweden, Jun. 2012
  • ARTIST Summer School Europe, France, Sep. 2010