Bio
My main research focus is cyber security. Hence, I worked during my Phd on formal security policies and we proposed the concept of ESP (Executable Security Polices) in order to validate SP automatically. After that, I started working on mobile networks security. More precisely, we proposed secure routing algorithms for Mobile Ad Hoc Networks as well as clustering algorithm for such environment. Then, we proposed authentication protocols for vehicular Ad hoc networks preserving privacy and currently trust base protocols are proposed for this network. Moreover, we are working on Internet f things where we proposed a routing protocol preserving energy and based ant colony. A security layer will be added to this proposal.