Foudil Cherif

Work place: Computer Science Department, LESIA Laboratory, University of Biskra, BP 145 RP, 07000 Biskra, Algeria

E-mail: foudil.cherif@yahoo.fr

Website:

Research Interests: Software Engineering, Artificial Intelligence, Cryptographic Coding, Formal Methods, Formal Semantics, Formal Languages

Biography

Foudil Cherif is an associate professor of computer science at Computer Science Department, Biskra University, Algeria. Dr. Cherif holds Ph.D degree in computer science. The topic of his dissertation is behavioral animation: crowd simulation of virtual humans. He also possesses B.Sc. (engineer) in computer science from Constantine University 1985, and an M.Sc. in computer science from Bristol University, UK in 1989. He is currently the head of LESIA Laboratory. His current research interest is in Artificial intelligence, Artificial life, Crowd simulation, RFID  security, formal verification of cryptographic protocols and Software engineering. He supervised several Ph.D. and Magister theses which have been successfully defended these last years.

Author Articles
A Secure Code-Based Authentication Scheme for RFID Systems

By Noureddine Chikouche Foudil Cherif Pierre-Louis Cayrel Mohamed Benmohammed

DOI: https://doi.org/10.5815/ijcnis.2015.09.01, Pub. Date: 8 Aug. 2015

Two essential problems are still posed in terms of Radio Frequency Identification (RFID) systems, including: security and limitation of resources. Recently, Li et al.'s proposed a mutual authentication scheme for RFID systems in 2014, it is based on Quasi Cyclic-Moderate Density Parity Check (QC-MDPC) McEliece cryptosystem. This cryptosystem is designed to reducing the key sizes. In this paper, we found that this scheme does not provide untraceability and forward secrecy properties. Furthermore, we propose an improved version of this scheme to eliminate existing vulnerabilities of studied scheme. It is based on the QC-MDPC McEliece cryptosystem with padding the plaintext by a random bit-string. Our work also includes a security comparison between our improved scheme and different code-based RFID authentication schemes. We prove secrecy and mutual authentication properties by AVISPA (Automated Validation of Internet Security Protocols and Applications) tools. Concerning the performance, our scheme is suitable for low-cost tags with resource limitation.

[...] Read more.
Other Articles