Muhammad Kashif Nazir

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Handheld Devices

Mobile Computing

Formal Specification

Top Venues

Publications

Abid Jamil, Zeshan Murtza, Muhammad Kashif Nazir, Muhammad Waseem, Zikra Ghulam, Rao Umer Farooq
A Generic Formal Specification of an Infinite Runner Games for Handheld Devices Using Z-Notation. ICCCS (2019)
Abid Jamil, Kashif Asif, Zikra Ghulam, Muhammad Kashif Nazir, Syed Mudassar Alam, Rehan Ashraf
MPMPA: A Mitigation and Prevention Model for Social Engineering Based Phishing attacks on Facebook. IEEE BigData (2018)