Abid Rauf

adnan2
 
http://save.seecs.nust.edu.pk/abidrauf/
abid.rauf@seecs.edu.pk
Phone : +92 51 9085 2086
Address : SAVe Lab, PG Block, NUST SEECS, Sector H-12, Islamabad 44000, Pakistan
 
Flag Counter

Research Assistant

System Analysis and Verification (SAVe) Lab

PhD Student

NUST School of Electrical Engineering and Computer Sciences

I am a doctoral student in Department of Computing (DoC), NUST School of Electrical Engineering and Computer Sciences under the supervision of Dr. Osman Hasan . I have a strong interest in Formal Methods, with their applications in Security Systems, Mathematical foundations and the Software Systems.

Projects

  • Formalization of kronecker product using HOL-Light

 

Publications

  1. Y. Ghazi, R. Masood, A. Rauf, M. A. Shibli, O. Hasan, “A Cloud Based Protection System for Document-Oriented NoSQL Databases”, EURASIP Journal on Information Security, Accepted in June 2016, To Appear.

  2. A. Rauf, S. Afreen and N. Ikram, “Construction of S-box with high nonlinearity and low maximum correlation”, Proceedings of international cryptology workshop and conference 2008 (Cryptology 2008), Malaysia, ISBN: 978-983-44069.

  3. S. Afreen, A. Rauf and N. Ikram, “Multiple trace term sequences based stream cipher”, Proceedings of international cryptology workshop and conference 2008 (Cryptology 2008), Malaysia, ISBN: 978-983-44069

  4. Atif M., Rauf A. “Efficient Implementation of Gaussian elimination method to recover generator polynomials of Convolutional Codes”, IEEE Xplore, page 153-156