Sharar Ahmadi

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

External Memory

Top Venues

Sci. Comput. Program.

Informatica (Slovenia)

Publications

Sharar Ahmadi, Brijesh Dongol, Matt Griffin
Operationally proving memory access violations in Isabelle/HOL. Sci. Comput. Program. 234 (2024)
Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne
On the Design and Security of Collective Remote Attestation Protocols. CoRR (2024)
Sharar Ahmadi, Brijesh Dongol, Matt Griffin
Proving Memory Access Violations in Isabelle/HOL. FTSCS (2022)
Sharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian
On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. Informatica (Slovenia) 43 (2) (2019)