Michel A. Kinsy

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 79

Top Venues

CoRR

HPEC

ACM Great Lakes Symposium on VLSI

ISVLSI

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Alan Ehret, Peter Moore, Milan Stojkov, Michel A. Kinsy
Hardware Root-of-Trust Support for Operational Technology Cybersecurity in Critical Infrastructures. HPEC (2023)
Mihailo Isakov, Mikaela Currier, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Glenn K. Lockwood, Michel A. Kinsy
A Taxonomy of Error Sources in HPC I/O Machine Learning Models. SC (2022)
Mihailo Isakov, Michel A. Kinsy
NeuroFabric: Hardware and ML Model Co-Design for A Priori Sparse Neural Network Training. ICCD (2022)
Jacob Abraham, Alan Ehret, Michel A. Kinsy
A Compiler for Transparent Namespace-Based Access Control for the Zeno Architecture. SEED (2022)
Mihailo Isakov, Mikaela Currier, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Glenn K. Lockwood, Michel A. Kinsy
A Taxonomy of Error Sources in HPC I/O Machine Learning Models. CoRR (2022)
Alan Ehret, Jacob Abraham, Mihailo Isakov, Michel A. Kinsy
Zeno: A Scalable Capability-Based Secure Architecture. CoRR (2022)
Pruthvy Yellu, Landon Buell, Miguel Mark, Michel A. Kinsy, Dongpeng Xu, Qiaoyan Yu
Security Threat Analyses and Attack Models for Approximate Computing Systems: From Hardware and Micro-architecture Perspectives. ACM Trans. Design Autom. Electr. Syst. 26 (4) (2021)
Alan Ehret, Eliakin Del Rosario, Carsten Schwicking, Karen Gettings, Michel A. Kinsy
Reconfigurable Hardware Root-of-Trust for Secure Edge Processing. HPEC (2021)
Xi Wang, John D. Leidel, Brody Williams, Alan Ehret, Miguel Mark, Michel A. Kinsy, Yong Chen
xBGAS: A Global Address Space Extension on RISC-V for High Performance Computing. IPDPS (2021)
Sahan Bandara, Michel A. Kinsy
Adaptive caches as a defense mechanism against cache side-channel attacks. J. Cryptogr. Eng. 11 (3) (2021)
Ghada Dessouky, Mihailo Isakov, Michel A. Kinsy, Pouya Mahmoody, Miguel Mark, Ahmad-Reza Sadeghi, Emmanuel Stapf, Shaza Zeitouni
Distributed Memory Guard: Enabling Secure Enclave Computing in NoC-based Architectures. DAC (2021)
Xi Wang, Brody Williams, John D. Leidel, Alan Ehret, Michel A. Kinsy, Yong Chen
Remote Atomic Extension (RAE) for Scalable High Performance Computing. DAC (2020)
Mihailo Isakov, Michel A. Kinsy
NeuroFabric: Identifying Ideal Topologies for Training A Priori Sparse Networks. CoRR (2020)
Rashmi S. Agrawal, Lake Bu, Eliakin Del Rosario, Michel A. Kinsy
Design-flow Methodology for Secure Group Anonymous Authentication. DATE (2020)
Ebadollah Taheri, Mihailo Isakov, Ahmad Patooghy, Michel A. Kinsy
Addressing a New Class of Reliability Threats in 3-D Network-on-Chips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (7) (2020)
Mihailo Isakov, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Michel A. Kinsy
HPC I/O throughput bottleneck analysis with explainable local models. SC (2020)
Rashmi S. Agrawal, Lake Bu, Eliakin Del Rosario, Michel A. Kinsy
Towards Programmable All-Digital True Random Number Generator. ACM Great Lakes Symposium on VLSI (2020)
Rashmi S. Agrawal, Lake Bu, Alan Ehret, Michel A. Kinsy
Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption. CoRR (2020)
Eliakin Del Rosario, Mikaela Currier, Mihailo Isakov, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Kevin Harms, Shane Snyder, Michel A. Kinsy
Gauge: An Interactive Data-Driven Visualization Tool for HPC Application I/O Performance Analysis. PDSW@SC (2020)
Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy
Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption. FCCM (2020)
Alan Ehret, Eliakin Del Rosario, Karen Gettings, Michel A. Kinsy
A Hardware Root-of-Trust Design for Low-Power SoC Edge Devices. HPEC (2020)
Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy
Quantum-Proof Lightweight McEliece Cryptosystem Co-processor Design. ICCD (2020)
Mihailo Isakov, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Michel A. Kinsy
Toward Generalizable Models of I/O Throughput. ROSS@SC (2020)
Vijay Gadepally, Mihailo Isakov, Rashmi S. Agrawal, Jeremy Kepner, Karen Gettings, Michel A. Kinsy
Homomorphic Encryption Based Secure Sensor Data Processing. HPEC (2020)
Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy
A Post-Quantum Secure Discrete Gaussian Noise Sampler. HOST (2020)
Lake Bu, Mark G. Karpovsky, Michel A. Kinsy
Design of reliable storage and compute systems with lightweight group testing based non-binary error correction codes. IET Comput. Digit. Tech. 13 (3) (2019)
Sahan Bandara, Alan Ehret, Donato Kava, Michel A. Kinsy
BRISC-V: An Open-Source Architecture Design Space Exploration Toolbox. CoRR (2019)
Sahan Bandara, Michel A. Kinsy
Adaptive Caches as a Defense Mechanism Against Cache Side-Channel Attacks. ASHES@CCS (2019)
Alan Ehret, Karen Gettings, Bruce R. Jordan, Michel A. Kinsy
A Survey on Hardware Security Techniques Targeting Low-Power SoC Designs. HPEC (2019)
Sahan Bandara, Alan Ehret, Donato Kava, Michel A. Kinsy
BRISC-V: An Open-Source Architecture Design Space Exploration Toolbox. FPGA (2019)
Rashmi S. Agrawal, Sahan Bandara, Alan Ehret, Mihailo Isakov, Miguel Mark, Michel A. Kinsy
The BRISC-V Platform: A Practical Teaching Approach for Computer Architecture. WCAE@ISCA (2019)
Mihailo Isakov, Vijay Gadepally, Karen M. Gettings, Michel A. Kinsy
Survey of Attacks and Defenses on Edge-Deployed Neural Networks. CoRR (2019)
Lake Bu, Mihailo Isakov, Michel A. Kinsy
RASSS: a hijack-resistant confidential information management scheme for distributed systems. IET Comput. Digit. Tech. 13 (3) (2019)
Lake Bu, Rashmi S. Agrawal, Hai Cheng, Michel A. Kinsy
Post-Quantum Cryptographic Hardware Primitives. CoRR (2019)
Mihailo Isakov, Vijay Gadepally, Karen M. Gettings, Michel A. Kinsy
Survey of Attacks and Defenses on Edge-Deployed Neural Networks. HPEC (2019)
Novak Boskov, Mihailo Isakov, Michel A. Kinsy
Drndalo: Lightweight Control Flow Obfuscation Through Minimal Processor/Compiler Co-Design. CoRR (2019)
Tao Yang, Yadong Wei, Zhijun Tu, Haolun Zeng, Michel A. Kinsy, Nanning Zheng, Pengju Ren
Design Space Exploration of Neural Network Activation Function Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (10) (2019)
Lake Bu, Rashmi S. Agrawal, Hai Cheng, Michel A. Kinsy
A Lightweight McEliece Cryptosystem Co-processor Design. CoRR (2019)
Lake Bu, Mihailo Isakov, Michel A. Kinsy
A Secure and Robust Scheme for Sharing Confidential Information in IoT Systems. CoRR (2019)
Lake Bu, Mark G. Karpovsky, Michel A. Kinsy
Bulwark: Securing implantable medical devices communication channels. Comput. Secur. 86 (2019)
Lake Bu, Jaya Dofe, Qiaoyan Yu, Michel A. Kinsy
SRASA: a Generalized Theoretical Framework for Security and Reliability Analysis in Computing Systems. J. Hardw. Syst. Secur. 3 (3) (2019)
Rashmi S. Agrawal, Lake Bu, Alan Ehret, Michel A. Kinsy
Open-Source FPGA Implementation of Post-Quantum Cryptographic Hardware Primitives. FPL (2019)
Novak Boskov, Mihailo Isakov, Michel A. Kinsy
CodeTrolley: Hardware-Assisted Control Flow Obfuscation. CoRR (2019)
Pruthvy Yellu, Novak Boskov, Michel A. Kinsy, Qiaoyan Yu
Security Threats in Approximate Computing Systems. ACM Great Lakes Symposium on VLSI (2019)
Michel A. Kinsy, Novak Boskov
Secure Computing Systems Design Through Formal Micro-Contracts. ACM Great Lakes Symposium on VLSI (2019)
Lake Bu, Mihailo Isakov, Michel A. Kinsy
A secure and robust scheme for sharing confidential information in IoT systems. Ad Hoc Networks 92 (2019)
Lake Bu, Hai Cheng, Michel A. Kinsy
Fast Dynamic Device Authentication Based on Lorenz Chaotic Systems. DFT (2018)
Mihailo Isakov, Michel A. Kinsy
BRISC-V Emulator: A Standalone, Installation-Free, Browser-Based Teaching Tool. CoRR (2018)
Michel A. Kinsy, Donato Kava, Alan Ehret, Miguel Mark
Sphinx: A Secure Architecture Based on Binary Code Diversification and Execution Obfuscation. CoRR (2018)
Ahmad Patooghy, Ehsan Aerabi, Hamidreza Rezaei, Miguel Mark, Mahdi Fazeli, Michel A. Kinsy
Mystic: Mystifying IP Cores Using an Always-ON FSM Obfuscation Method. ISVLSI (2018)
Alan Ehret, Peter Jamieson, Michel A. Kinsy
Scalable Open-Source Reconfigurable Architecture for Bacterial Quorum Sensing Simulations. HEART (2018)
Tao Yang, Yadong Wei, Zhijun Tu, Haolun Zeng, Michel A. Kinsy, Nanning Zheng, Pengju Ren
Design Space Exploration of Neural Network Activation Function Circuits. CoRR (2018)
Michel A. Kinsy, Lake Bu, Mihailo Isakov, Miguel Mark
Designing Secure Heterogeneous Multicore Systems from Untrusted Components. Cryptogr. 2 (3) (2018)
Mihailo Isakov, Michel A. Kinsy
NoSync: Particle Swarm Inspired Distributed DNN Training. ICANN (2) (2018)
Somayeh Kashi, Ahmad Patooghy, Dara Rahmatiy, Mahdi Fazeli, Michel A. Kinsy
Application Specific Networks-on-Chip Synthesis: An Energy Efficient Approach. ISVLSI (2018)
Alan Ehret, Mihailo Isakov, Michel A. Kinsy
Towards a Generalized Reconfigurable Agent-Based Architecture: Stock Market Simulation Acceleration. ReConFig (2018)
Mihailo Isakov, Michel A. Kinsy
ClosNets: a Priori Sparse Topologies for Faster DNN Training. CoRR (2018)
Lake Bu, Miguel Mark, Michel A. Kinsy
A Short Survey at the Intersection of Reliability and Security in Processor Architecture Designs. ISVLSI (2018)
Mihailo Isakov, Alan Ehret, Michel A. Kinsy
ClosNets: Batchless DNN Training with On-Chip a Priori Sparse Neural Topologies. FPL (2018)
Mihailo Isakov, Lake Bu, Hai Cheng, Michel A. Kinsy
Preventing Neural Network Model Exfiltration in Machine Learning Hardware Accelerators. AsianHOST (2018)
Lake Bu, Hai Cheng, Michel A. Kinsy
Adaptive and Dynamic Device Authentication Using Lorenz Chaotic Systems. MWSCAS (2018)
Lake Bu, Michel A. Kinsy
Weighted Group Decision Making Using Multi-identity Physical Unclonable Functions. FPL (2018)
Mihailo Isakov, Alan Ehret, Michel A. Kinsy
Chameleon: A Generalized Reconfigurable Open-Source Architecture for Deep Neural Network Training. HPEC (2018)
Seyed Mohammad Sebt, Ahmad Patooghy, Hakem Beitollahi, Michel A. Kinsy
Circuit enclaves susceptible to hardware Trojans insertion at gate-level designs. IET Comput. Digit. Tech. 12 (6) (2018)
Michel A. Kinsy, Mihailo Isakov, Alan Ehret, Donato Kava
SAPA: Self-Aware Polymorphic Architecture. CoRR (2018)
Lake Bu, Michel A. Kinsy
Hardening AES Hardware Implementations Against Fault and Error Inject Attacks. ACM Great Lakes Symposium on VLSI (2018)
Michel A. Kinsy, Shreeya Khadka, Mihailo Isakov
PreNoc: Neural Network based Predictive Routing for Network-on-Chip Architectures. ACM Great Lakes Symposium on VLSI (2017)
Hossein Hosseinzadeh, Mihailo Isakov, Mostafa Darabi, Ahmad Patooghy, Michel A. Kinsy
Janus: An uncertain cache architecture to cope with side channel attacks. MWSCAS (2017)
Pengju Ren, Michel A. Kinsy, Mengjiao Zhu, Shreeya Khadka, Mihailo Isakov, Aniruddh Ramrakhyani, Tushar Krishna, Nanning Zheng
FASHION: Fault-Aware Self-Healing Intelligent On-chip Network. CoRR (2017)
Michel A. Kinsy, Shreeya Khadka, Mihailo Isakov, Anam Farrukh
Hermes: Secure heterogeneous multicore architecture design. HOST (2017)
Janardhan Rao Doppa, Ryan Gary Kim, Mihailo Isakov, Michel A. Kinsy, Hyoukjun Kwon, Tushar Krishna
Adaptive Manycore Architectures for Big Data Computing. NOCS (2017)
Michel A. Kinsy, Rashmi S. Agrawal, Hien D. Nguyen
Fast Processing of Large Graph Applications Using Asynchronous Architecture. CoRR (2017)
Kimia Soleimani, Ahmad Patooghy, Nasim Soltani, Lake Bu, Michel A. Kinsy
Crosstalk Free Coding Systems to Protect NoC Channels against Crosstalk Faults. ICCD (2017)
Hossein Hosseinzadeh, Mihailo Isakov, Mostafa Darabi, Ahmad Patooghy, Michel A. Kinsy
Janus: An Uncertain Cache Architecture to Cope with Side Channel Attacks. CoRR (2017)
Ebadollah Taheri, Mihailo Isakov, Ahmad Patooghy, Michel A. Kinsy
Advertiser elevator: A fault tolerant routing algorithm for partially connected 3D Network-on-Chips. MWSCAS (2017)
Lake Bu, Hien D. Nguyen, Michel A. Kinsy
RASSS: A perfidy-aware protocol for designing trustworthy distributed systems. DFT (2017)
Pengju Ren, Michel A. Kinsy, Nanning Zheng
Fault-Aware Load-Balancing Routing for 2D-Mesh and Torus On-Chip Network Topologies. IEEE Trans. Computers 65 (3) (2016)
Pengju Ren, Xiaowei Ren, Sudhanshu Sane, Michel A. Kinsy, Nanning Zheng
A Deadlock-Free and Connectivity-Guaranteed Methodology for Achieving Fault-Tolerance in On-Chip Networks. IEEE Trans. Computers 65 (2) (2016)
Pengju Ren, Michel A. Kinsy, Mengjiao Zhu, Nanning Zheng
Towards connectivity-guaranteed power-gating large-scale on-chip networks. IGSC (2016)
Michel A. Kinsy, Srinivas Devadas
Algorithms for scheduling task-based applications onto heterogeneous many-core architectures. HPEC (2014)
Michel A. Kinsy, Srinivas Devadas
Low-overhead hard real-time aware interconnect network router. HPEC (2014)
Michel A. Kinsy, Myong Hyon Cho, Keun Sup Shim, Mieszko Lis, G. Edward Suh, Srinivas Devadas
Optimal and Heuristic Application-Aware Oblivious Routing. IEEE Trans. Computers 62 (1) (2013)
Michel A. Kinsy, Michael Pellauer, Srinivas Devadas
Heracles: a tool for fast RTL-based design space exploration of multicore processors. FPGA (2013)
Michel A. Kinsy, Ivan Celanovic, Omer Khan, Srinivas Devadas
MARTHA: architecture for control and emulation of power electronics and smart grid systems. DATE (2013)
Michael Pellauer, Michael Adler, Michel A. Kinsy, Angshuman Parashar, Joel S. Emer
HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing. HPCA (2011)
Michel A. Kinsy, Michael Pellauer, Srinivas Devadas
Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System. FPL (2011)
Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Christopher W. Fletcher, Michel A. Kinsy, Ilia A. Lebedev, Omer Khan, Srinivas Devadas
Brief announcement: distributed shared memory based on computation migration. SPAA (2011)
Michel A. Kinsy, Omer Khan, Ivan Celanovic, Dusan Majstorovic, Nikola L. Celanovic, Srinivas Devadas
Time-Predictable Computer Architecture for Cyber-Physical Systems: Digital Emulation of Power Electronics Systems. RTSS (2011)
Keun Sup Shim, Myong Hyon Cho, Michel A. Kinsy, Tina Wen, Mieszko Lis, G. Edward Suh, Srinivas Devadas
Static virtual channel allocation in oblivious routing. NOCS (2009)
Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Srinivas Devadas
Path-based, randomized, oblivious, minimal routing. NoCArc@MICRO (2009)
Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Tina Wen, Srinivas Devadas
Oblivious Routing in On-Chip Bandwidth-Adaptive Networks. PACT (2009)
Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edward Suh, Marten van Dijk, Srinivas Devadas
Application-aware deadlock-free oblivious routing. ISCA (2009)
Myong Hyon Cho, Chih-Chi Cheng, Michel A. Kinsy, G. Edward Suh, Srinivas Devadas
Diastolic arrays: throughput-driven reconfigurable computing. ICCAD (2008)
Qihong Shao, Michel A. Kinsy, Yi Chen
Storing and Discovering Critical Workflows from Log in Scientific Exploration. IEEE SCW (2007)
Michel A. Kinsy, Zoé Lacroix, Christophe Legendre, Piotr Wlodarczyk, Nadia Yacoubi Ayadi
ProtocolDB: Storing Scientific Protocols with a Domain Ontology. WISE Workshops (2007)
Michel A. Kinsy, Zoé Lacroix
Storing Efficiently Bioinformatics Workflows. BIBE (2007)

Michel A. Kinsy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michel A. Kinsy