Michel A. Kinsy

According to our database, Michel A. Kinsy authored at least 90 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Hardware Root-of-Trust Support for Operational Technology Cybersecurity in Critical Infrastructures.

Alan Ehret, Peter Moore, Milan Stojkov, Michel A. Kinsy

Proceedings of the IEEE High Performance Extreme Computing Conference, 2023

2022

Zeno: A Scalable Capability-Based Secure Architecture.

Alan Ehret, Jacob Abraham, Mihailo Isakov, Michel A. Kinsy

CoRR, 2022

A Compiler for Transparent Namespace-Based Access Control for the Zeno Architecture.

Jacob Abraham, Alan Ehret, Michel A. Kinsy

Proceedings of the 2022 IEEE International Symposium on Secure and Private Execution Environment Design (SEED), 2022

A Taxonomy of Error Sources in HPC I/O Machine Learning Models.

Mihailo Isakov, Mikaela Currier, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Glenn K. Lockwood, Michel A. Kinsy

Proceedings of the SC22: International Conference for High Performance Computing, 2022

NeuroFabric: Hardware and ML Model Co-Design for A Priori Sparse Neural Network Training.

Mihailo Isakov, Michel A. Kinsy

Proceedings of the IEEE 40th International Conference on Computer Design, 2022

2021

Security Threat Analyses and Attack Models for Approximate Computing Systems: From Hardware and Micro-architecture Perspectives.

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

ACM Trans. Design Autom. Electr. Syst., 2021

Adaptive caches as a defense mechanism against cache side-channel attacks.

Sahan Bandara, Michel A. Kinsy

J. Cryptogr. Eng., 2021

xBGAS: A Global Address Space Extension on RISC-V for High Performance Computing.

Xi Wang, John D. Leidel, Brody Williams, Alan Ehret, Miguel Mark, Michel A. Kinsy, Yong Chen

Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

Reconfigurable Hardware Root-of-Trust for Secure Edge Processing.

Alan Ehret, Eliakin Del Rosario, Carsten Schwicking, Karen Gettings, Michel A. Kinsy

Proceedings of the 2021 IEEE High Performance Extreme Computing Conference, 2021

Distributed Memory Guard: Enabling Secure Enclave Computing in NoC-based Architectures.

Ghada Dessouky, Mihailo Isakov, Michel A. Kinsy, Pouya Mahmoody, Miguel Mark, Ahmad-Reza Sadeghi, Emmanuel Stapf, Shaza Zeitouni

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Addressing a New Class of Reliability Threats in 3-D Network-on-Chips.

Ebadollah Taheri, Mihailo Isakov, Ahmad Patooghy, Michel A. Kinsy

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption.

Rashmi S. Agrawal, Lake Bu, Alan Ehret, Michel A. Kinsy

CoRR, 2020

NeuroFabric: Identifying Ideal Topologies for Training A Priori Sparse Networks.

Mihailo Isakov, Michel A. Kinsy

CoRR, 2020

Gauge: An Interactive Data-Driven Visualization Tool for HPC Application I/O Performance Analysis.

Eliakin Del Rosario, Mikaela Currier, Mihailo Isakov, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Kevin Harms, Shane Snyder, Michel A. Kinsy

Proceedings of the Fifth IEEE/ACM International Parallel Data Systems Workshop, 2020

HPC I/O throughput bottleneck analysis with explainable local models.

Mihailo Isakov, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Michel A. Kinsy

Proceedings of the International Conference for High Performance Computing, 2020

Toward Generalizable Models of I/O Throughput.

Mihailo Isakov, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Michel A. Kinsy

Proceedings of the 2020 IEEE/ACM International Workshop on Runtime and Operating Systems for Supercomputers, 2020

Quantum-Proof Lightweight McEliece Cryptosystem Co-processor Design.

Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy

Proceedings of the 38th IEEE International Conference on Computer Design, 2020

Homomorphic Encryption Based Secure Sensor Data Processing.

Vijay Gadepally, Mihailo Isakov, Rashmi S. Agrawal, Jeremy Kepner, Karen Gettings, Michel A. Kinsy

Proceedings of the 2020 IEEE High Performance Extreme Computing Conference, 2020

A Hardware Root-of-Trust Design for Low-Power SoC Edge Devices.

Alan Ehret, Eliakin Del Rosario, Karen Gettings, Michel A. Kinsy

Proceedings of the 2020 IEEE High Performance Extreme Computing Conference, 2020

A Post-Quantum Secure Discrete Gaussian Noise Sampler.

Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy

Proceedings of the 2020 IEEE International Symposium on Hardware Oriented Security and Trust, 2020

Towards Programmable All-Digital True Random Number Generator.

Rashmi S. Agrawal, Lake Bu, Eliakin Del Rosario, Michel A. Kinsy

Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption.

Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy

Proceedings of the 28th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2020

Design-flow Methodology for Secure Group Anonymous Authentication.

Rashmi S. Agrawal, Lake Bu, Eliakin Del Rosario, Michel A. Kinsy

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Remote Atomic Extension (RAE) for Scalable High Performance Computing.

Xi Wang, Brody Williams, John D. Leidel, Alan Ehret, Michel A. Kinsy, Yong Chen

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Design Space Exploration of Neural Network Activation Function Circuits.

Tao Yang, Yadong Wei, Zhijun Tu, Haolun Zeng, Michel A. Kinsy, Nanning Zheng, Pengju Ren

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

SRASA: a Generalized Theoretical Framework for Security and Reliability Analysis in Computing Systems.

Lake Bu, Jaya Dofe, Qiaoyan Yu, Michel A. Kinsy

J. Hardw. Syst. Secur., 2019

Design of reliable storage and compute systems with lightweight group testing based non-binary error correction codes.

Lake Bu, Mark G. Karpovsky, Michel A. Kinsy

IET Comput. Digit. Tech., 2019

RASSS: a hijack-resistant confidential information management scheme for distributed systems.

Lake Bu, Mihailo Isakov, Michel A. Kinsy

IET Comput. Digit. Tech., 2019

Drndalo: Lightweight Control Flow Obfuscation Through Minimal Processor/Compiler Co-Design.

Novak Boskov, Mihailo Isakov, Michel A. Kinsy

CoRR, 2019

Post-Quantum Cryptographic Hardware Primitives.

Lake Bu, Rashmi S. Agrawal, Hai Cheng, Michel A. Kinsy

CoRR, 2019

A Lightweight McEliece Cryptosystem Co-processor Design.

Lake Bu, Rashmi S. Agrawal, Hai Cheng, Michel A. Kinsy

CoRR, 2019

CodeTrolley: Hardware-Assisted Control Flow Obfuscation.

Novak Boskov, Mihailo Isakov, Michel A. Kinsy

CoRR, 2019

Bulwark: Securing implantable medical devices communication channels.

Lake Bu, Mark G. Karpovsky, Michel A. Kinsy

Comput. Secur., 2019

A secure and robust scheme for sharing confidential information in IoT systems.

Lake Bu, Mihailo Isakov, Michel A. Kinsy

Ad Hoc Networks, 2019

The BRISC-V Platform: A Practical Teaching Approach for Computer Architecture.

Rashmi S. Agrawal, Sahan Bandara, Alan Ehret, Mihailo Isakov, Miguel Mark, Michel A. Kinsy

Proceedings of the Workshop on Computer Architecture Education, 2019

Survey of Attacks and Defenses on Edge-Deployed Neural Networks.

Mihailo Isakov, Vijay Gadepally, Karen M. Gettings, Michel A. Kinsy

Proceedings of the 2019 IEEE High Performance Extreme Computing Conference, 2019

A Survey on Hardware Security Techniques Targeting Low-Power SoC Designs.

Alan Ehret, Karen Gettings, Bruce R. Jordan, Michel A. Kinsy

Proceedings of the 2019 IEEE High Performance Extreme Computing Conference, 2019

Security Threats in Approximate Computing Systems.

Pruthvy Yellu, Novak Boskov, Michel A. Kinsy, Qiaoyan Yu

Proceedings of the 2019 on Great Lakes Symposium on VLSI, 2019

Secure Computing Systems Design Through Formal Micro-Contracts.

Michel A. Kinsy, Novak Boskov

Proceedings of the 2019 on Great Lakes Symposium on VLSI, 2019

Open-Source FPGA Implementation of Post-Quantum Cryptographic Hardware Primitives.

Rashmi S. Agrawal, Lake Bu, Alan Ehret, Michel A. Kinsy

Proceedings of the 29th International Conference on Field Programmable Logic and Applications, 2019

BRISC-V: An Open-Source Architecture Design Space Exploration Toolbox.

Sahan Bandara, Alan Ehret, Donato Kava, Michel A. Kinsy

Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

2018

Circuit enclaves susceptible to hardware Trojans insertion at gate-level designs.

Seyed Mohammad Sebt, Ahmad Patooghy, Hakem Beitollahi, Michel A. Kinsy

IET Comput. Digit. Tech., 2018

Designing Secure Heterogeneous Multicore Systems from Untrusted Components.

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

Cryptogr., 2018

BRISC-V Emulator: A Standalone, Installation-Free, Browser-Based Teaching Tool.

Mihailo Isakov, Michel A. Kinsy

CoRR, 2018

SAPA: Self-Aware Polymorphic Architecture.

Michel A. Kinsy, Mihailo Isakov, Alan Ehret, Donato Kava

CoRR, 2018

Sphinx: A Secure Architecture Based on Binary Code Diversification and Execution Obfuscation.

Michel A. Kinsy, Donato Kava, Alan Ehret, Miguel Mark

CoRR, 2018

ClosNets: a Priori Sparse Topologies for Faster DNN Training.

Mihailo Isakov, Michel A. Kinsy

CoRR, 2018

Towards a Generalized Reconfigurable Agent-Based Architecture: Stock Market Simulation Acceleration.

Alan Ehret, Mihailo Isakov, Michel A. Kinsy

Proceedings of the 2018 International Conference on ReConFigurable Computing and FPGAs, 2018

Adaptive and Dynamic Device Authentication Using Lorenz Chaotic Systems.

Lake Bu, Hai Cheng, Michel A. Kinsy

Proceedings of the IEEE 61st International Midwest Symposium on Circuits and Systems, 2018

Mystic: Mystifying IP Cores Using an Always-ON FSM Obfuscation Method.

Ahmad Patooghy, Ehsan Aerabi, Hamidreza Rezaei, Miguel Mark, Mahdi Fazeli, Michel A. Kinsy

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

Application Specific Networks-on-Chip Synthesis: An Energy Efficient Approach.

Somayeh Kashi, Ahmad Patooghy, Dara Rahmatiy, Mahdi Fazeli, Michel A. Kinsy

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

A Short Survey at the Intersection of Reliability and Security in Processor Architecture Designs.

Lake Bu, Miguel Mark, Michel A. Kinsy

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

NoSync: Particle Swarm Inspired Distributed DNN Training.

Mihailo Isakov, Michel A. Kinsy

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

Chameleon: A Generalized Reconfigurable Open-Source Architecture for Deep Neural Network Training.

Mihailo Isakov, Alan Ehret, Michel A. Kinsy

Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

Scalable Open-Source Reconfigurable Architecture for Bacterial Quorum Sensing Simulations.

Alan Ehret, Peter Jamieson, Michel A. Kinsy

Proceedings of the 9th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, 2018

Hardening AES Hardware Implementations Against Fault and Error Inject Attacks.

Lake Bu, Michel A. Kinsy

Proceedings of the 2018 on Great Lakes Symposium on VLSI, 2018

ClosNets: Batchless DNN Training with On-Chip a Priori Sparse Neural Topologies.

Mihailo Isakov, Alan Ehret, Michel A. Kinsy

Proceedings of the 28th International Conference on Field Programmable Logic and Applications, 2018

Weighted Group Decision Making Using Multi-identity Physical Unclonable Functions.

Lake Bu, Michel A. Kinsy

Proceedings of the 28th International Conference on Field Programmable Logic and Applications, 2018

Fast Dynamic Device Authentication Based on Lorenz Chaotic Systems.

Lake Bu, Hai Cheng, Michel A. Kinsy

Proceedings of the 2018 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2018

Preventing Neural Network Model Exfiltration in Machine Learning Hardware Accelerators.

Mihailo Isakov, Lake Bu, Hai Cheng, Michel A. Kinsy

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2018

2017

FASHION: Fault-Aware Self-Healing Intelligent On-chip Network.

Pengju Ren, Michel A. Kinsy, Mengjiao Zhu, Shreeya Khadka, Mihailo Isakov, Aniruddh Ramrakhyani, Tushar Krishna, Nanning Zheng

CoRR, 2017

Fast Processing of Large Graph Applications Using Asynchronous Architecture.

Michel A. Kinsy, Rashmi S. Agrawal, Hien D. Nguyen

CoRR, 2017

Adaptive Manycore Architectures for Big Data Computing.

Janardhan Rao Doppa, Ryan Gary Kim, Mihailo Isakov, Michel A. Kinsy, Hyoukjun Kwon, Tushar Krishna

Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, 2017

Advertiser elevator: A fault tolerant routing algorithm for partially connected 3D Network-on-Chips.

Ebadollah Taheri, Mihailo Isakov, Ahmad Patooghy, Michel A. Kinsy

Proceedings of the IEEE 60th International Midwest Symposium on Circuits and Systems, 2017

Janus: An uncertain cache architecture to cope with side channel attacks.

Hossein Hosseinzadeh, Mihailo Isakov, Mostafa Darabi, Ahmad Patooghy, Michel A. Kinsy

Proceedings of the IEEE 60th International Midwest Symposium on Circuits and Systems, 2017

Crosstalk Free Coding Systems to Protect NoC Channels against Crosstalk Faults.

Kimia Soleimani, Ahmad Patooghy, Nasim Soltani, Lake Bu, Michel A. Kinsy

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Hermes: Secure heterogeneous multicore architecture design.

Michel A. Kinsy, Shreeya Khadka, Mihailo Isakov, Anam Farrukh

Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, 2017

PreNoc: Neural Network based Predictive Routing for Network-on-Chip Architectures.

Michel A. Kinsy, Shreeya Khadka, Mihailo Isakov

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

RASSS: A perfidy-aware protocol for designing trustworthy distributed systems.

Lake Bu, Hien D. Nguyen, Michel A. Kinsy

Proceedings of the IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 2017

2016

A Deadlock-Free and Connectivity-Guaranteed Methodology for Achieving Fault-Tolerance in On-Chip Networks.

Pengju Ren, Xiaowei Ren, Sudhanshu Sane, Michel A. Kinsy, Nanning Zheng

IEEE Trans. Computers, 2016

Fault-Aware Load-Balancing Routing for 2D-Mesh and Torus On-Chip Network Topologies.

Pengju Ren, Michel A. Kinsy, Nanning Zheng

IEEE Trans. Computers, 2016

Towards connectivity-guaranteed power-gating large-scale on-chip networks.

Pengju Ren, Michel A. Kinsy, Mengjiao Zhu, Nanning Zheng

Proceedings of the Seventh International Green and Sustainable Computing Conference, 2016

2014

Algorithms for scheduling task-based applications onto heterogeneous many-core architectures.

Michel A. Kinsy, Srinivas Devadas

Proceedings of the IEEE High Performance Extreme Computing Conference, 2014

Low-overhead hard real-time aware interconnect network router.

Michel A. Kinsy, Srinivas Devadas

Proceedings of the IEEE High Performance Extreme Computing Conference, 2014

2013

Many-core architectures with time predictable execution Support for hard real-time applications.

Michel A. Kinsy

PhD thesis, 2013

Optimal and Heuristic Application-Aware Oblivious Routing.

Michel A. Kinsy, Myong Hyon Cho, Keun Sup Shim, Mieszko Lis, G. Edward Suh, Srinivas Devadas

IEEE Trans. Computers, 2013

Heracles: a tool for fast RTL-based design space exploration of multicore processors.

Michel A. Kinsy, Michael Pellauer, Srinivas Devadas

Proceedings of the 2013 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, 2013

MARTHA: architecture for control and emulation of power electronics and smart grid systems.

Michel A. Kinsy, Ivan Celanovic, Omer Khan, Srinivas Devadas

Proceedings of the Design, Automation and Test in Europe, 2013

2011

Brief announcement: distributed shared memory based on computation migration.

Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Christopher W. Fletcher, Michel A. Kinsy, Ilia A. Lebedev, Omer Khan, Srinivas Devadas

Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

Time-Predictable Computer Architecture for Cyber-Physical Systems: Digital Emulation of Power Electronics Systems.

Michel A. Kinsy, Omer Khan, Ivan Celanovic, Dusan Majstorovic, Nikola L. Celanovic, Srinivas Devadas

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing.

Michael Pellauer, Michael Adler, Michel A. Kinsy, Angshuman Parashar, Joel S. Emer

Proceedings of the 17th International Conference on High-Performance Computer Architecture (HPCA-17 2011), 2011

Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System.

Michel A. Kinsy, Michael Pellauer, Srinivas Devadas

Proceedings of the International Conference on Field Programmable Logic and Applications, 2011

2009

Static virtual channel allocation in oblivious routing.

Keun Sup Shim, Myong Hyon Cho, Michel A. Kinsy, Tina Wen, Mieszko Lis, G. Edward Suh, Srinivas Devadas

Proceedings of the Third International Symposium on Networks-on-Chips, 2009

Path-based, randomized, oblivious, minimal routing.

Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Srinivas Devadas

Proceedings of the Second International Workshop on Network on Chip Architectures, 2009

Application-aware deadlock-free oblivious routing.

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

Proceedings of the 36th International Symposium on Computer Architecture (ISCA 2009), 2009

Oblivious Routing in On-Chip Bandwidth-Adaptive Networks.

Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Tina Wen, Srinivas Devadas

Proceedings of the PACT 2009, 2009

2008

Diastolic arrays: throughput-driven reconfigurable computing.

Myong Hyon Cho, Chih-Chi Cheng, Michel A. Kinsy, G. Edward Suh, Srinivas Devadas

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

2007

ProtocolDB: Storing Scientific Protocols with a Domain Ontology.

Michel A. Kinsy, Zoé Lacroix, Christophe Legendre, Piotr Wlodarczyk, Nadia Yacoubi Ayadi

Proceedings of the Web Information Systems Engineering - WISE 2007 Workshops, 2007

Storing Efficiently Bioinformatics Workflows.

Michel A. Kinsy, Zoé Lacroix

Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, 2007

Storing and Discovering Critical Workflows from Log in Scientific Exploration.

Qihong Shao, Michel A. Kinsy, Yi Chen

Proceedings of the 2007 IEEE International Conference on Services Computing, 2007