On formalizing of inconsistency and semi-consistency in spatio-temporal access control. - Emsaieb Geepalla; Behzad Bordbar (ICDIM, 2012)

Transformation of Spatio-Temporal Role Based Access Control Specification to Alloy. - Emsaieb Geepalla; Behzad Bordbar; Joel Last (MEDI, 2012)

Verification of Spatio-Temporal Role Based Access Control using Timed Automata. - Emsaieb Geepalla; Behzad Bordbar; Kozo Okano (NESEA, 2012)

Spatio-temporal Role Based Access Control for Physical Access Control Systems. - Emsaieb Geepalla; Behzad Bordbar; Xiaofeng Du (EST, 2013)

Model-driven approaches to analysing time- and location-dependent access control specifications. - Emsaieb Geepalla (2013)

Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications. - Emsaieb Geepalla (CyberSec, 2014)