Modelling Attacker with Deciding Security Properties by Induction and Deduction. - Yoney Kirsal Ever; Agozie Eneh; Orhan Gemikonakli; Leonardo Mostarda (AINA Workshops, 2013)

Analysing the Combined Kerberos Timed Authentication Protocol and Frequent Key Renewal Using CSP and Rank Functions. - Yoney Kirsal Ever; Agozie Eneh; Orhan Gemikonakli; Leonardo Mostarda (KSII Trans. Internet Inf. Syst., 2014)