Security Seminar: Michel Kinsy

Time: Oct 14, Friday, 10:30am -12:00pm

Place: ITE 301 

Title: Secure multicore architecture design

Speaker: Prof. Michel Kinsy 

Boston University

Abstract: The emergence of general-purpose system-on-chip (SoC) architectures has given rise to a number of significant security challenges. The current trend in SoC design is system-level integration of heterogeneous technologies consisting of a large number of processing elements such as programmable RISC cores, memory, DSPs, and accelerator function units/ASIC. These processing elements may come from different providers, and application executable code may have varying levels of trust. Some of the pressing architecture design questions are: (1) how to implement multi-level user-define security; (2) how to optimally and securely share resources and data among processing elements; (3) how to use reconfiguration for the purpose of obfuscation to attackers.

In this talk, I will present two design cases of secure multicore architecture: (1) Securitas, an architectural framework for integrating multiple processing elements, which may include secure and non-secure cores, into the same chip design, while (i) maintaining individual tenant security, (ii) preventing data leakage and corruption, and (iii) promoting collaboration among the tenants. The Securitas architecture is based on a programmable secure router interface and trust-aware routing algorithm; (2) Sphinx, a hardware-software co-design architecture for binary code and runtime obfuscation. The Sphinx architecture uses binary code diversification and self-reconfigurable processing elements to enable the functionality of an application to remain the same while the binary code and architecture states are obfuscated and operate differently to attackers. This approach dramatically reduces an attacker’s ability to exploit information gained from one deployment to attack another deployment.

Bio: 

Michel A. Kinsy is an Assistant Professor in Department of Electrical and Computer Engineering at Boston University and director of the Adaptive and Secure Computing Systems (ASCS) Laboratory. He focuses his research on computer architecture, interconnection networks, hardware-level security and cyber-physical systems. He holds a PhD in Electrical Engineering and Computer Science from Massachusetts Institute of Technology ’13. His doctoral work in developing algorithms to emulate and control large-scale power systems at the microsecond resolution inspired further research by the MIT spin-off Typhoon HIL, Inc. Before joining the BU faculty, Kinsy was an assistant professor in the Department of Computer and Information at the University of Oregon and director of the Computer Architecture and Embedded Systems (CAES) Laboratory. He was also an MIT Presidential Fellow. Kinsy holds a M.S. in Electrical Engineering and Computer Science from MIT, a B.S.E. in Computer Systems Engineering and a B.S. in Computer Science from Arizona State University.