Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets. - Younes Seifi; Suriadi Suriadi; Ernest Foo; Colin Boyd (AISC, 2012)

Security properties analysis in a TPM-based protocol. - Younes Seifi; Suriadi Suriadi; Ernest Foo; Colin Boyd (Int. J. Secur. Networks, 2014)

Analysis of two authorization protocols using Colored Petri Nets. - Younes Seifi; Suriadi Suriadi; Ernest Foo; Colin Boyd (Int. J. Inf. Sec., 2015)

PCC-RPL: An efficient trust-based security extension for RPL. - Mohammad Pishdar; Younes Seifi; Mohammad Nasiri; Mozafar Bag-Mohammadi (Inf. Secur. J. A Glob. Perspect., 2022)