Ms. Aniqa Rehman is Lecturer at Department of Computer Science, COMSATS University Islamabad, Sahiwal Campus, Pakistan. She has completed her MS Degree in Computer Science from COMSATS University Islamabad, Sahiwal, Pakistan in 2017 with Distinction. She has completed her Master degree from COMSATS University Islamabad, Sahiwal, Pakistan in 2013 with Distinction. She served in ILM College Sahiwal from September 2013 to February 2014. She has 4 year teaching experience at COMSATS University Islamabad, Sahiwal, Pakistan. She has one published and four accepted international conference articles. Her research interest include Formal Methods, Network Security.