Storing and Discovering Critical Workflows from Log in Scientific Exploration. - Qihong Shao; Michel A. Kinsy; Yi Chen 001 (IEEE SCW, 2007)

Storing Efficiently Bioinformatics Workflows. - Michel A. Kinsy; Zoé Lacroix (BIBE, 2007)

ProtocolDB: Storing Scientific Protocols with a Domain Ontology. - Michel A. Kinsy; Zoé Lacroix; Christophe Legendre; Piotr Wlodarczyk; Nadia Yacoubi Ayadi (WISE Workshops, 2007)

Diastolic arrays: throughput-driven reconfigurable computing. - Myong Hyon Cho; Chih-Chi Cheng; Michel A. Kinsy; G. Edward Suh; Srinivas Devadas (ICCAD, 2008)

Oblivious Routing in On-Chip Bandwidth-Adaptive Networks. - Myong Hyon Cho; Mieszko Lis; Keun Sup Shim; Michel A. Kinsy; Tina Wen; Srinivas Devadas (PACT, 2009)

Application-aware deadlock-free oblivious routing. - Michel A. Kinsy; Myong Hyon Cho; Tina Wen; G. Edward Suh; Marten van Dijk; Srinivas Devadas (ISCA, 2009)

Path-based, randomized, oblivious, minimal routing. - Myong Hyon Cho; Mieszko Lis; Keun Sup Shim; Michel A. Kinsy; Srinivas Devadas (NoCArc@MICRO, 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 (NOCS, 2009)

Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System. - Michel A. Kinsy; Michael Pellauer; Srinivas Devadas (FPL, 2011)

HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing. - Michael Pellauer; Michael Adler; Michel A. Kinsy; Angshuman Parashar; Joel S. Emer (HPCA, 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 (RTSS, 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 (SPAA, 2011)

MARTHA: architecture for control and emulation of power electronics and smart grid systems. - Michel A. Kinsy; Ivan Celanovic; Omer Khan; Srinivas Devadas (DATE, 2013)

Heracles: a tool for fast RTL-based design space exploration of multicore processors. - Michel A. Kinsy; Michael Pellauer; Srinivas Devadas (FPGA, 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)

Many-core architectures with time predictable execution Support for hard real-time applications. - Michel A. Kinsy (2013)

Low-overhead hard real-time aware interconnect network router. - Michel A. Kinsy; Srinivas Devadas (HPEC, 2014)

Algorithms for scheduling task-based applications onto heterogeneous many-core architectures. - Michel A. Kinsy; Srinivas Devadas (HPEC, 2014)

Towards connectivity-guaranteed power-gating large-scale on-chip networks. - Pengju Ren; Michel A. Kinsy; Mengjiao Zhu; Nanning Zheng 001 (IGSC, 2016)

Fault-Aware Load-Balancing Routing for 2D-Mesh and Torus On-Chip Network Topologies. - Pengju Ren; Michel A. Kinsy; Nanning Zheng 001 (IEEE Trans. Computers, 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 001 (IEEE Trans. Computers, 2016)

RASSS: A perfidy-aware protocol for designing trustworthy distributed systems. - Lake Bu; Hien D. Nguyen; Michel A. Kinsy (DFT, 2017)

PreNoc: Neural Network based Predictive Routing for Network-on-Chip Architectures. - Michel A. Kinsy; Shreeya Khadka; Mihailo Isakov (ACM Great Lakes Symposium on VLSI, 2017)

Hermes: Secure heterogeneous multicore architecture design. - Michel A. Kinsy; Shreeya Khadka; Mihailo Isakov; Anam Farrukh (HOST, 2017)

Crosstalk Free Coding Systems to Protect NoC Channels against Crosstalk Faults. - Kimia Soleimani; Ahmad Patooghy; Nasim Soltani; Lake Bu; Michel A. Kinsy (ICCD, 2017)

Janus: An uncertain cache architecture to cope with side channel attacks. - Hossein Hosseinzadeh; Mihailo Isakov; Mostafa Darabi; Ahmad Patooghy; Michel A. Kinsy (MWSCAS, 2017)

Advertiser elevator: A fault tolerant routing algorithm for partially connected 3D Network-on-Chips. - Ebadollah Taheri; Mihailo Isakov; Ahmad Patooghy; Michel A. Kinsy (MWSCAS, 2017)

Adaptive Manycore Architectures for Big Data Computing. - Janardhan Rao Doppa; Ryan Gary Kim; Mihailo Isakov; Michel A. Kinsy; Hyoukjun Kwon; Tushar Krishna (NOCS, 2017)

Fast Processing of Large Graph Applications Using Asynchronous Architecture. - Michel A. Kinsy; Rashmi S. Agrawal 001; Hien D. Nguyen (CoRR, 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 001 (CoRR, 2017)

Preventing Neural Network Model Exfiltration in Machine Learning Hardware Accelerators. - Mihailo Isakov; Lake Bu; Hai Cheng; Michel A. Kinsy (AsianHOST, 2018)

Fast Dynamic Device Authentication Based on Lorenz Chaotic Systems. - Lake Bu; Hai Cheng; Michel A. Kinsy (DFT, 2018)

Weighted Group Decision Making Using Multi-identity Physical Unclonable Functions. - Lake Bu; Michel A. Kinsy (FPL, 2018)

ClosNets: Batchless DNN Training with On-Chip a Priori Sparse Neural Topologies. - Mihailo Isakov; Alan Ehret; Michel A. Kinsy (FPL, 2018)

Hardening AES Hardware Implementations Against Fault and Error Inject Attacks. - Lake Bu; Michel A. Kinsy (ACM Great Lakes Symposium on VLSI, 2018)

Scalable Open-Source Reconfigurable Architecture for Bacterial Quorum Sensing Simulations. - Alan Ehret; Peter Jamieson; Michel A. Kinsy (HEART, 2018)

Chameleon: A Generalized Reconfigurable Open-Source Architecture for Deep Neural Network Training. - Mihailo Isakov; Alan Ehret; Michel A. Kinsy (HPEC, 2018)

NoSync: Particle Swarm Inspired Distributed DNN Training. - Mihailo Isakov; Michel A. Kinsy (ICANN (2), 2018)

A Short Survey at the Intersection of Reliability and Security in Processor Architecture Designs. - Lake Bu; Miguel Mark; Michel A. Kinsy (ISVLSI, 2018)

Application Specific Networks-on-Chip Synthesis: An Energy Efficient Approach. - Somayeh Kashi; Ahmad Patooghy; Dara Rahmatiy; Mahdi Fazeli; Michel A. Kinsy (ISVLSI, 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 (ISVLSI, 2018)

Adaptive and Dynamic Device Authentication Using Lorenz Chaotic Systems. - Lake Bu; Hai Cheng; Michel A. Kinsy (MWSCAS, 2018)

Towards a Generalized Reconfigurable Agent-Based Architecture: Stock Market Simulation Acceleration. - Alan Ehret; Mihailo Isakov; Michel A. Kinsy (ReConFig, 2018)

ClosNets: a Priori Sparse Topologies for Faster DNN Training. - Mihailo Isakov; Michel A. Kinsy (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)

SAPA: Self-Aware Polymorphic Architecture. - Michel A. Kinsy; Mihailo Isakov; Alan Ehret; Donato Kava (CoRR, 2018)

BRISC-V Emulator: A Standalone, Installation-Free, Browser-Based Teaching Tool. - Mihailo Isakov; Michel A. Kinsy (CoRR, 2018)

Designing Secure Heterogeneous Multicore Systems from Untrusted Components. - Michel A. Kinsy; Lake Bu; Mihailo Isakov; Miguel Mark (Cryptogr., 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)

BRISC-V: An Open-Source Architecture Design Space Exploration Toolbox. - Sahan Bandara; Alan Ehret; Donato Kava; Michel A. Kinsy (FPGA, 2019)

Open-Source FPGA Implementation of Post-Quantum Cryptographic Hardware Primitives. - Rashmi S. Agrawal 001; Lake Bu; Alan Ehret; Michel A. Kinsy (FPL, 2019)

Secure Computing Systems Design Through Formal Micro-Contracts. - Michel A. Kinsy; Novak Boskov (ACM Great Lakes Symposium on VLSI, 2019)

Security Threats in Approximate Computing Systems. - Pruthvy Yellu; Novak Boskov; Michel A. Kinsy; Qiaoyan Yu (ACM Great Lakes Symposium on VLSI, 2019)

A Survey on Hardware Security Techniques Targeting Low-Power SoC Designs. - Alan Ehret; Karen Gettings; Bruce R. Jordan; Michel A. Kinsy (HPEC, 2019)

Survey of Attacks and Defenses on Edge-Deployed Neural Networks. - Mihailo Isakov; Vijay Gadepally; Karen M. Gettings; Michel A. Kinsy (HPEC, 2019)

The BRISC-V Platform: A Practical Teaching Approach for Computer Architecture. - Rashmi S. Agrawal 001; Sahan Bandara; Alan Ehret; Mihailo Isakov; Miguel Mark; Michel A. Kinsy (WCAE@ISCA, 2019)

A secure and robust scheme for sharing confidential information in IoT systems. - Lake Bu; Mihailo Isakov; Michel A. Kinsy (Ad Hoc Networks, 2019)

Bulwark: Securing implantable medical devices communication channels. - Lake Bu; Mark G. Karpovsky; Michel A. Kinsy (Comput. Secur., 2019)

CodeTrolley: Hardware-Assisted Control Flow Obfuscation. - Novak Boskov; Mihailo Isakov; Michel A. Kinsy (CoRR, 2019)

A Lightweight McEliece Cryptosystem Co-processor Design. - Lake Bu; Rashmi S. Agrawal 001; Hai Cheng; Michel A. Kinsy (CoRR, 2019)

Post-Quantum Cryptographic Hardware Primitives. - Lake Bu; Rashmi S. Agrawal 001; Hai Cheng; Michel A. Kinsy (CoRR, 2019)

Drndalo: Lightweight Control Flow Obfuscation Through Minimal Processor/Compiler Co-Design. - Novak Boskov; Mihailo Isakov; Michel A. Kinsy (CoRR, 2019)

RASSS: a hijack-resistant confidential information management scheme for distributed systems. - Lake Bu; Mihailo Isakov; Michel A. Kinsy (IET Comput. Digit. Tech., 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)

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 Space Exploration of Neural Network Activation Function Circuits. - Tao Yang 032; Yadong Wei; Zhijun Tu; Haolun Zeng; Michel A. Kinsy; Nanning Zheng 001; Pengju Ren (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Remote Atomic Extension (RAE) for Scalable High Performance Computing. - Xi Wang 009; Brody Williams; John D. Leidel; Alan Ehret; Michel A. Kinsy; Yong Chen 001 (DAC, 2020)

Design-flow Methodology for Secure Group Anonymous Authentication. - Rashmi S. Agrawal 001; Lake Bu; Eliakin Del Rosario; Michel A. Kinsy (DATE, 2020)

Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption. - Rashmi S. Agrawal 001; Lake Bu; Michel A. Kinsy (FCCM, 2020)

Towards Programmable All-Digital True Random Number Generator. - Rashmi S. Agrawal 001; Lake Bu; Eliakin Del Rosario; Michel A. Kinsy (ACM Great Lakes Symposium on VLSI, 2020)

A Post-Quantum Secure Discrete Gaussian Noise Sampler. - Rashmi S. Agrawal 001; Lake Bu; Michel A. Kinsy (HOST, 2020)

A Hardware Root-of-Trust Design for Low-Power SoC Edge Devices. - Alan Ehret; Eliakin Del Rosario; Karen Gettings; Michel A. Kinsy (HPEC, 2020)

Homomorphic Encryption Based Secure Sensor Data Processing. - Vijay Gadepally; Mihailo Isakov; Rashmi S. Agrawal 001; Jeremy Kepner; Karen Gettings; Michel A. Kinsy (HPEC, 2020)

Quantum-Proof Lightweight McEliece Cryptosystem Co-processor Design. - Rashmi S. Agrawal 001; Lake Bu; Michel A. Kinsy (ICCD, 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 (ROSS@SC, 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 (SC, 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 (PDSW@SC, 2020)

NeuroFabric: Identifying Ideal Topologies for Training A Priori Sparse Networks. - Mihailo Isakov; Michel A. Kinsy (CoRR, 2020)

Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption. - Rashmi S. Agrawal 001; Lake Bu; Alan Ehret; Michel A. Kinsy (CoRR, 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)

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 (DAC, 2021)

Reconfigurable Hardware Root-of-Trust for Secure Edge Processing. - Alan Ehret; Eliakin Del Rosario; Carsten Schwicking; Karen Gettings; Michel A. Kinsy (HPEC, 2021)

xBGAS: A Global Address Space Extension on RISC-V for High Performance Computing. - Xi Wang 009; John D. Leidel; Brody Williams; Alan Ehret; Miguel Mark; Michel A. Kinsy; Yong Chen 001 (IPDPS, 2021)

Adaptive caches as a defense mechanism against cache side-channel attacks. - Sahan Bandara; Michel A. Kinsy (J. Cryptogr. Eng., 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 001; Qiaoyan Yu (ACM Trans. Design Autom. Electr. Syst., 2021)

NeuroFabric: Hardware and ML Model Co-Design for A Priori Sparse Neural Network Training. - Mihailo Isakov; Michel A. Kinsy (ICCD, 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 (SC, 2022)

A Compiler for Transparent Namespace-Based Access Control for the Zeno Architecture. - Jacob Abraham; Alan Ehret; Michel A. Kinsy (SEED, 2022)

Zeno: A Scalable Capability-Based Secure Architecture. - Alan Ehret; Jacob Abraham; Mihailo Isakov; Michel A. Kinsy (CoRR, 2022)

Hardware Root-of-Trust Support for Operational Technology Cybersecurity in Critical Infrastructures. - Alan Ehret; Peter Moore; Milan Stojkov; Michel A. Kinsy (HPEC, 2023)

AMAZE: Accelerated MiMC Hardware Architecture for Zero-Knowledge Applications on the Edge. - Anees Ahmed; Nojan Sheybani; Davi Moreno; Nges Brian Njungle; Tengkai Gong; Michel A. Kinsy; Farinaz Koushanfar (ICCAD, 2024)

Activate Me!: Designing Efficient Activation Functions for Privacy-Preserving Machine Learning with Fully Homomorphic Encryption. - Nges Brian Njungle; Michel A. Kinsy (AFRICACRYPT, 2025)

R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures. - Edwin Kayang; Mishel Jyothis Paul; Eric Jahns; Muslum Ozgur Ozmen; Milan Stojkov; Kevin Rudd; Michel A. Kinsy (LCTES, 2025)

A Safety-Centric Analysis and Benchmarks of Modern Open-Source Homomorphic Encryption Libraries. - Nges Brian Njungle; Milan Stojkov; Michel A. Kinsy (SECRYPT, 2025)

Privacy-Preserving Deep Learning: A Survey on Theoretical Foundations, Software Frameworks, and Hardware Accelerators. - Eric Jahns; Milan Stojkov; Michel A. Kinsy (IEEE Access, 2025)

Survey of Attacks and Defenses on Consensus Algorithms for Secure Data Replication in Distributed Systems. - Luigi Mastromauro; Dhiego Souto Andrade; Muslum Ozgur Ozmen; Michel A. Kinsy (IEEE Access, 2025)

GuardianML: Anatomy of Privacy-Preserving Machine Learning Techniques and Frameworks. - Nges Brian Njungle; Eric Jahns; Zhenqi Wu; Luigi Mastromauro; Milan Stojkov; Michel A. Kinsy (IEEE Access, 2025)

Gotta Hash 'Em All! Speeding Up Hash Functions for Zero-Knowledge Proof Applications. - Nojan Sheybani; Tengkai Gong; Anees Ahmed; Nges Brian Njungle; Michel A. Kinsy; Farinaz Koushanfar (CoRR, 2025)

Zero-Knowledge Proof Frameworks: A Systematic Survey. - Nojan Sheybani; Anees Ahmed; Michel A. Kinsy; Farinaz Koushanfar (CoRR, 2025)