Sharar Ahmadi

According to our database, Sharar Ahmadi authored at least 2 papers between 2019 and 2022.

Collaborative distances:

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

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