A Short Survey at the Intersection of Reliability and Security in Processor Architecture Designs. - Lake Bu; Miguel Mark; 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)

Sphinx: A Secure Architecture Based on Binary Code Diversification and Execution Obfuscation. - Michel A. Kinsy; Donato Kava; Alan Ehret; Miguel Mark (CoRR, 2018)

Designing Secure Heterogeneous Multicore Systems from Untrusted Components. - Michel A. Kinsy; Lake Bu; Mihailo Isakov; Miguel Mark (Cryptogr., 2018)

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)

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)

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)

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)