On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. - Sharar Ahmadi; Mehran S. Fallah; Massoud Pourmahdian (Informatica (Slovenia), 2019)

Proving Memory Access Violations in Isabelle/HOL. - Sharar Ahmadi; Brijesh Dongol; Matt Griffin (FTSCS, 2022)

On the Design and Security of Collective Remote Attestation Protocols. - Sharar Ahmadi; Jay Le-Papin; Liqun Chen 002; Brijesh Dongol; Sasa Radomirovic; Helen Treharne (CoRR, 2024)

Operationally proving memory access violations in Isabelle/HOL. - Sharar Ahmadi; Brijesh Dongol; Matt Griffin (Sci. Comput. Program., 2024)