Younes Seifi

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 2

Top Topics

Colored Petri Nets

Cryptographic Protocols

Malware Detection

Security Properties

Top Venues

Inf. Secur. J. A Glob. Perspect.

Int. J. Secur. Networks

Int. J. Inf. Sec.

Publications

Mohammad Pishdar, Younes Seifi, Mohammad Nasiri, Mozafar Bag-Mohammadi
PCC-RPL: An efficient trust-based security extension for RPL. Inf. Secur. J. A Glob. Perspect. 31 (2) (2022)
Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
Analysis of two authorization protocols using Colored Petri Nets. Int. J. Inf. Sec. 14 (3) (2015)
Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
Security properties analysis in a TPM-based protocol. Int. J. Secur. Networks 9 (2) (2014)
Younes Seifi, Suriadi Suriadi, Ernest Foo, Colin Boyd
Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets. AISC (2012)