Phone : +92 51 9085 2086
Address : SAVe Lab, PG Block, NUST SEECS, Sector H-12, Islamabad 44000, Pakistan
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.
- Formalization of kronecker product using HOL-Light
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.
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.
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
Atif M., Rauf A. “Efficient Implementation of Gaussian elimination method to recover generator polynomials of Convolutional Codes”, IEEE Xplore, page 153-156