Michel Kinsy

President and Professor at Computer Science, Arizona State University-West0 Followers

Dr. Michel Kinsy is committed to innovative research in the fields of microelectronics security and secure processor and system design. Serving as an Associate Professor in the School of Computing and Augmented Intelligence at Arizona State University-West, Dr. Kinsy also directs the Secure, Trusted, and Assured Microelectronics Center. His work is pivotal in advancing the understanding and development of hardware security and the efficient design and implementation of post-quantum cryptography systems. Dr. Kinsy's research interests are deeply rooted in the challenges of securing microelectronic systems against emerging threats. His expertise extends to the design of secure processors and systems, ensuring that hardware components are resilient against potential vulnerabilities. This focus is increasingly critical in a world where digital security is paramount. Throughout his career, Dr. Kinsy has been recognized for his significant academic contributions. He was awarded the prestigious MIT Presidential Fellowship, highlighting his potential and dedication to advancing technology and security. Additionally, he received the CRA-WP Inaugural Skip Ellis Career Award, a testament to his impact and leadership in the field of computing. Dr. Kinsy's work not only contributes to academic knowledge but also has practical implications for the development of secure systems in various industries. His research continues to influence the design and implementation of secure hardware systems, making a substantial impact on the field of computer science and engineering.

Research Interests

Microelectronics security secure processor design system design hardware security post-quantum cryptography efficient hardware design

Publications

1 - Designing Secure Heterogeneous Multicore Systems from Untrusted Components,Cryptography

Michel A. Kinsy , Lake Bu , Mihailo Isakov , Miguel Mark ,

, 12, 2018-06-26

2 - Computer Engineering Education Experiences with RISC-V Architectures—From Computer Architecture to Microcontrollers,Journal of Low Power Electronics and Applications

Peter Jamieson , Huan Le , Nathan Martin , Tyler McGrew , Yicheng Qian , Eric Schonauer , Alan Ehret , Michel A. Kinsy ,

, 45, 2022-08-09

3 - Security Threat Analyses and Attack Models for Approximate Computing Systems,ACM Transactions on Design Automation of Electronic Systems

Pruthvy Yellu , Landon Buell , Miguel Mark , Michel A. Kinsy , Dongpeng Xu , Qiaoyan Yu ,

, 1-31, 2021-04-22

4 - Application-aware deadlock-free oblivious routing,ACM SIGARCH Computer Architecture News

Michel A. Kinsy , Myong Hyon Cho , Tina Wen , Edward Suh , Marten van Dijk , Srinivas Devadas ,

, 208-219, 2009-06-15

5 - Post-quantum Cryptographic Hardware Primitives,Encyclopedia of Cryptography, Security and Privacy

Michel A. Kinsy ,

, 1-5, 2021-01-01

6 - Weighted Group Decision Making Using Multi-identity Physical Unclonable Functions,2018 28th International Conference on Field Programmable Logic and Applications (FPL)

Lake Bu , Michel Kinsy ,

, 251-2514, 2018-08-01

7 - Storing Efficiently Bioinformatics Workflows,2007 IEEE 7th International Symposium on BioInformatics and BioEngineering

Michel Kinsy , Zoe Lacroix ,

, 1328-1332, 2007-10-01

8 - Algorithms for scheduling task-based applications onto heterogeneous many-core architectures,2014 IEEE High Performance Extreme Computing Conference (HPEC)

Michel A. Kinsy , Srinivas Devadas ,

, 1-6, 2014-09-01

9 - Low-overhead hard real-time aware interconnect network router,2014 IEEE High Performance Extreme Computing Conference (HPEC)

Michel A. Kinsy , Srinivas Devadas ,

, 1-6, 2014-09-01

10 - NeuroFabric: Hardware and ML Model Co-Design for A Priori Sparse Neural Network Training,2022 IEEE 40th International Conference on Computer Design (ICCD)

Mihailo Isakov , Michel A. Kinsy ,

, 561-564, 2022-10-01

11 - Adaptive Caches as a Defense Mechanism Against Cache Side-Channel Attacks,Proceedings of the 3rd ACM Workshop on Attacks and Solutions in Hardware Security Workshop

Sahan Bandara , Michel A. Kinsy ,

, 55-64, 2019-11-15

12 - NoSync: Particle Swarm Inspired Distributed DNN Training,Lecture Notes in Computer Science

Mihailo Isakov , Michel A. Kinsy ,

, 607-619, 2018-01-01

13 - Hardening AES Hardware Implementations Against Fault and Error Inject Attacks,Proceedings of the 2018 Great Lakes Symposium on VLSI

Lake Bu , Michel A. Kinsy ,

, 499-502, 2018-05-30

14 - Secure Computing Systems Design Through Formal Micro-Contracts,Proceedings of the 2019 Great Lakes Symposium on VLSI

Michel A. Kinsy , Novak Boskov ,

, 537-542, 2019-05-13

15 - Adaptive caches as a defense mechanism against cache side-channel attacks,Journal of Cryptographic Engineering

Sahan Bandara , Michel A. Kinsy ,

, 239-255, 2020-10-28

16 - A Case Study: Undergraduate Self-Learning in HPC Including OpenMP, MPI, OpenCL, and FPGAs,2019 International Conference on Computational Science and Computational Intelligence (CSCI)

Peter Jamieson , Martin Herbordt , Michel Kinsy ,

, 782-787, 2019-12-01

Share Michel's Profile