Hide menu

Welcome to the Department of
Computer and Information Science

Design of Secure Real-Time Embedded Systems

Real-time embedded systems have several design time constraints such as timing, resource efficieny and performance. Security has not been an important design concern earlier, and has been overlooked in the past. Ke Jiang's PhD thesis approaches the design of secure embedded systems with a focus on communication confidentiality and side-channel attack resistance.

New algebraic methods to study the complexity of constraint satisfaction problems

In his PhD thesis on IDA, Victor Lagerkvist proposes an algebraic framework based on partial functions, in order to study the complexity of different types of constraint satisfaction problems.

Model-based security in Embedded Systems

With an increasing presence of embedded devices in different applications and their connection to the Internet, there is a need to focus on security in networked embedded systems within societal critical functions. In her PhD thesis, Maria Vasilevskaya proposes the SEED process, and supporting concepts, methods and prototypes, to bridge the design gap between systems engineers and security experts.

Page responsible: Webmaster