A Way Around UMIP and Descriptor-Table Exiting via TSX-based Side-Channel Attack. - Mohammad Sina Karvandi; Saleh Khalaj Monfared; Mohammad Sina Kiarostami; Dara Rahmati; Saeid Gorgin 001 (CoRR, 2020)

A TSX-Based KASLR Break: Bypassing UMIP and Descriptor-Table Exiting. - Mohammad Sina Karvandi; Saleh Khalaj Monfared; Mohammad Sina Kiarostami; Dara Rahmati; Saeid Gorgin 001 (CRiSIS, 2021)

HyperDbg: Reinventing Hardware-Assisted Debugging. - Mohammad Sina Karvandi; MohammadHosein Gholamrezaei; Saleh Khalaj Monfared; Soroush Meghdadi Zanjani; Behrooz Abbassi; Ali Amini; Reza Mortazavi; Saeid Gorgin 001; Dara Rahmati; Michael Schwarz 001 (CCS, 2022)

HyperDbg: Reinventing Hardware-Assisted Debugging. - Mohammad Sina Karvandi; MohammadHosein Gholamrezaei; Saleh Khalaj Monfared; Suorush Medi; Behrooz Abbassi; Ali Amini; Reza Mortazavi; Saeid Gorgin 001; Dara Rahmati; Michael Schwarz 001 (CoRR, 2022)

Hardware Design Space Exploration in High-Level Synthesis Backend Featuring Online Arithmetic. - Saeid Gorgin 001; Mohammad K. Fallah; Mohammad Sina Karvandi; Jeong-A Lee (SOCC, 2024)

The Reversing Machine: Reconstructing Memory Assumptions. - Mohammad Sina Karvandi; Soroush Meghdadi Zanjani; Sima Arasteh; Saleh Khalaj Monfared; Mohammad K. Fallah; Saeid Gorgin 001; Jeong-A Lee; Erik van der Kouwe (CoRR, 2024)

hwdbg: Debugging Hardware Like Software. - Mohammad Sina Karvandi; Soroush Meghdadi Zanjani; Saleh Khalaj Monfared; Erik van der Kouwe; Asia Slowinska (EuroSec, 2025)