Sharar Ahmadi

According to our database, Sharar Ahmadi authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Operationally proving memory access violations in Isabelle/HOL.

Sharar Ahmadi, Brijesh Dongol, Matt Griffin

Sci. Comput. Program., 2024

On the Design and Security of Collective Remote Attestation Protocols.

Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne

CoRR, 2024

2022

Proving Memory Access Violations in Isabelle/HOL.

Sharar Ahmadi, Brijesh Dongol, Matt Griffin

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2019

On the Properties of Epistemic and Temporal Epistemic Logics of Authentication.

Sharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian

Informatica (Slovenia), 2019