Login / Signup
Sharar Ahmadi
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 2
Top Topics
Memory Access
Inference Rules
Temporal Epistemic
Top Venues
FTSCS
Informatica (Slovenia)
</>
Publications
</>
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)