| 2026 | ACNS | PrivSpike: A Privacy-Preserving Inference Framework for Deep Spiking Neural Networks Using Homomorphic Encryption. | Nges Brian Njungle, Eric Jahns, Milan Stojkov, Michel A. Kinsy |
| 2025 | AICCSA | TRACED: Trust-Aware Clustering and Dynamic Role Management for Secure Edge Systems. | Luigi Mastromauro, Muslum Ozgur Ozmen, Michel A. Kinsy |
| 2025 | EUC | AQUILA: A Flexible Architecture Guideline for Building Custom Distributed Systems Testbeds. | Luigi Mastromauro, Edwin Kayang, Mishel Jyothis Paul, Eric Jahns, Muslum Ozgur Ozmen, Michel A. Kinsy |
| 2025 | ICCAD | Gotta Hash 'Em All! Accelerating Hash Functions for Zero-Knowledge Proof Applications. | Nojan Sheybani, Tengkai Gong, Anees Ahmed, Nges Brian Njungle, Michel A. Kinsy, Farinaz Koushanfar |
| 2025 | SECRYPT | A Safety-Centric Analysis and Benchmarks of Modern Open-Source Homomorphic Encryption Libraries. | Nges Brian Njungle, Milan Stojkov, Michel A. Kinsy |
| 2024 | ICCAD | 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 |
| 2022 | ICCD | NeuroFabric: Hardware and ML Model Co-Design for A Priori Sparse Neural Network Training. | Mihailo Isakov, Michel A. Kinsy |
| 2022 | SC | 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 |
| 2021 | DAC | 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 |
| 2020 | DAC | Remote Atomic Extension (RAE) for Scalable High Performance Computing. | Xi Wang, Brody Williams, John D. Leidel, Alan Ehret, Michel A. Kinsy, Yong Chen |
| 2020 | DATE | Design-flow Methodology for Secure Group Anonymous Authentication. | Rashmi S. Agrawal, Lake Bu, Eliakin Del Rosario, Michel A. Kinsy |
| 2020 | FCCM | Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption. | Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy |
| 2020 | ICCD | Quantum-Proof Lightweight McEliece Cryptosystem Co-processor Design. | Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy |
| 2020 | SC | 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 |
| 2020 | SC | 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 |
| 2019 | CCS | Adaptive Caches as a Defense Mechanism Against Cache Side-Channel Attacks. | Sahan Bandara, Michel A. Kinsy |
| 2019 | FPGA | BRISC-V: An Open-Source Architecture Design Space Exploration Toolbox. | Sahan Bandara, Alan Ehret, Donato Kava, Michel A. Kinsy |
| 2019 | FPL | Open-Source FPGA Implementation of Post-Quantum Cryptographic Hardware Primitives. | Rashmi S. Agrawal, Lake Bu, Alan Ehret, Michel A. Kinsy |
| 2019 | WCAE | 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 |
| 2018 | FPL | Weighted Group Decision Making Using Multi-identity Physical Unclonable Functions. | Lake Bu, Michel A. Kinsy |
| 2018 | FPL | ClosNets: Batchless DNN Training with On-Chip a Priori Sparse Neural Topologies. | Mihailo Isakov, Alan Ehret, Michel A. Kinsy |
| 2018 | ICANN | NoSync: Particle Swarm Inspired Distributed DNN Training. | Mihailo Isakov, Michel A. Kinsy |
| 2017 | ICCD | Crosstalk Free Coding Systems to Protect NoC Channels against Crosstalk Faults. | Kimia Soleimani, Ahmad Patooghy, Nasim Soltani, Lake Bu, Michel A. Kinsy |
| 2013 | DATE | MARTHA: architecture for control and emulation of power electronics and smart grid systems. | Michel A. Kinsy, Ivan Celanovic, Omer Khan, Srinivas Devadas |
| 2013 | FPGA | Heracles: a tool for fast RTL-based design space exploration of multicore processors. | Michel A. Kinsy, Michael Pellauer, Srinivas Devadas |
| 2011 | FPL | Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System. | Michel A. Kinsy, Michael Pellauer, Srinivas Devadas |
| 2011 | HPCA | HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing. | Michael Pellauer, Michael Adler, Michel A. Kinsy, Angshuman Parashar, Joel S. Emer |
| 2011 | RTSS | 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 |
| 2011 | SPAA | 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 |
| 2009 | ISCA | Application-aware deadlock-free oblivious routing. | Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edward Suh, Marten van Dijk, Srinivas Devadas |
| 2009 | MICRO | Path-based, randomized, oblivious, minimal routing. | Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Srinivas Devadas |
| 2008 | ICCAD | Diastolic arrays: throughput-driven reconfigurable computing. | Myong Hyon Cho, Chih-Chi Cheng, Michel A. Kinsy, G. Edward Suh, Srinivas Devadas |
| 2007 | BIBE | Storing Efficiently Bioinformatics Workflows. | Michel A. Kinsy, Zo Lacroix |
| 2007 | WISE | ProtocolDB: Storing Scientific Protocols with a Domain Ontology. | Michel A. Kinsy, Zo Lacroix, Christophe Legendre, Piotr Wlodarczyk, Nadia Yacoubi Ayadi |