||Computer Science (Taxila)
||MS (IS) from SICHUAN University China
||Formal Methods, Information Security
PhD Computer Science (Under Progress).
MS Information Security.
• Sichuan University, Chengdu China.
Research area i am interested is Formal Methods and Information Security. In computer science, formal methods are mathematically based techniques whose purpose are to help with the implementation of systems and software. Information Security in computer science is itself a mathematical based technique whose purpose is to secure the communication system.
The Computer Scientist, Software Engineers and Mathematicians all are welcome for their Masters Thesis research in the field of Security or Formal Methods.
Abid Rauf, S. Afreen, N. Ikram, Construction of S-box with high nonlinearity and low maximum correlation, INTERNATIONAL CRYPTOLOGY WORKSHOP AND CONFERENCE 2008 (CRYPTOLOGY 2008), Malaysia, 9th June to 12th June 2008.
Muhammad Atif, Abid Rauf, Efficient Implementation of Gaussian elimination method to recover generator polynomials of Convolutional Codes, International Conference on Emerging Technologies, ICET 2009., FAST-NU Islamabad, 19-20 Oct. 2009 (2009), pp. 153 - 156.
S. Afreen, Abid Rauf, N. Ikram, Multiple trace term sequences based stream cipher, INTERNATIONAL CRYPTOLOGY WORKSHOP AND CONFERENCE 2008 (CRYPTOLOGY2008), Malaysia, 9th June to 12th June 2008 (2008)
Comsats Institute of Information and Technology, Islamabad.
• Permanent faculty member in Computer Science department, taught courses like Design and
analysis of algorithm, Algorithms, Linux for Biological Sciences, Formal Methods.
Muhammad Ali Jinnah University (MAJU).
• Taught courses at BS level like Numerical Analysis and Data Security & Cryptography as Visiting
Visiting Lecturer, Department of Computer Science, University of Lahore, Islamabad Campus.
Visiting Lecturer, Department of Computer Science, University of Karachi, Islamabad Campus.
Visiting Lecturer, Department of Computer Science, Muhammad Ali Jinnah University, Islamabad.
Lecturer, Department of Computer Science, COMSATS Islamabad.
Lecturer, Department of Computer Science, UET Taxila.
Scholarship during Higher School Studies.
Role of honors in Bachelors Studies.
Third Position during MSc Studies.
Government Scholar ship for MS Studies in China