A Formal Model for an Ideal CFI. - Sepehr Minagar; Balasubramaniam Srinivasan 002; Phu Dung Le (ISPEC, 2017)

Formal Model of Exploit-Resistant Systems. - Sepehr Minagar (2018)

A Proof of Concept Implementation of Explainable Artificial Intelligence (XAI) in Digital Forensics. - Stuart W. Hall; Amin Sakzad; Sepehr Minagar (NSS, 2022)

Automatic Problem Generation for CTF-Style Assessments in IT Forensics Courses. - Sepehr Minagar; Amin Sakzad (ITiCSE (1), 2023)

ALAN: Assessment-as-Learning Authentic Tasks for Networking. - Sepehr Minagar; Amin Sakzad; Guido Tack; Carsten Rudolph; Judithe Sheard (SIGCSE (1), 2024)

Diverging assessments: What, Why, and Experiences. - Amin Sakzad; David J. Paul; Judithe Sheard; Ljiljana Brankovic; Matthew P. Skerritt; Nan Li 007; Sepehr Minagar; Simon; William Billingsley (SIGCSE (1), 2024)