SLIM REKHIS

• September 2010 – Present: Assistant Professor in Telecommunications, School of Communication Engineering (SUP’Com), Ariana, Tunisia.

• September 2007 – September 2010: Assistant Professor in Telecommunications, Institute of Technology in Communications at Tunis (ISET’Com), Ariana, Tunisia.

• September 2005 – September 2007: Assistant Teacher in Telecommunications, Higher Institute of Computing (ISI) – Ariana – Tunisia.

• March 2002 – September 2005: Engineer at the National Digital Certification Agency (NDCA, Tunisia) where he was member of the Networks Security Team. Mr. Rekhis was involved in the security administration of the NDCA networks and served as a security auditor of different national IT companies. He also contributed to different projects of consulting in PKI, cryptography, and digital signature.

• 2002 – Present: Member of Communication Networks and Security Lab (Contributing to the work of the Formal Aspects of Security and Investigation Team), where Mr. Rekhis is conducting research activities in the areas of digital forensic investigation, formal methods of specification and verification, computer and network attacks, intrusion detection and tolerance, and wireless ad-hoc networks. Mr. Rekhis has also supervised the research projects of under-graduate and graduate students.

Recent publications

Book chapters

• Slim Rekhis and NoureddineBoudriga. Digital Investigation in Communication Networks. In Security Engineering Techniques and Solutions for Information Systems: Management and Implementation, Mohamed Hamdi and NoureddineBoudriga (Eds), IGI Global, 2010.

• Slim Rekhis and NoureddineBoudriga. Tracing Security attacks in Communication Networks. In Security Engineering Techniques and Solutions for Information Systems: Management and Implementation, Mohamed Hamdi and NoureddineBoudriga (Eds), IGI Global, 2010.

• Slim Rekhis and NoureddineBoudriga. WIMAX Security defined in 802.16 standards. In WiMAX Security and Quality of Service: Providing an End to End Explanation, Seok-Yee Tang, Hamid Sharif, and Peter Mueller (Eds), John Wiley, 2010.

• Yacine Djemaiel, Slim Rekhis, and NoureddineBoudriga. Trustworthy networks, authentication, privacy and security models. In The Handbook of Research on Wireless Security, Yan Zhan, Jun Zheng, Miao Ma (Eds). Idea Group Reference, an imprint of Idea Group Inc. pages: 78-94. March 2008.

• Slim Rekhis, NoureddineBoudriga, and M.S. Obaidat. Localization in Wireless Networks. In The Handbook of Computer Networks, Volume II: LANs, MANs, WANs, The Internet, Global, Cellular and Wireless Networks, Editor-in-chief: HosseinBidgoli. John Wiley and Sons Publishers. January 2008.

• Slim Rekhis, NoureddineBoudriga, and M. S. Obaidat. Server-Side Security. In Handbook of Information Security, Volume III: Threats, Vulnerabilities, Prevention, Detection and Management Contents, Editor-in-chief: HosseinBidgoli. John Wiley and Sons Publishers, December 2005.

Journals papers

• Slim Rekhis and NoureddineBoudriga. Formal Reconstruction of Attack Scenarios in Mobile Ad-hoc and Sensor Networks. EURASIP Journal on Wireless Communications and Networking. To appear.

• Slim Rekhis and NoureddineBoudriga. Logic-based Approach for Digital Forensic Investigation in Communication Networks.Elsevier Computers & Security. To appear.

• Slim Rekhis and NoureddineBoudriga. Forensic Investigation in Communication Networks Using Incomplete Digital Evidences. International Journal of Communications, Network and System Sciences (IJCNS), 2(9): 805-926, 2009.

• Slim Rekhis and NoureddineBoudriga. Visibility: a Novel Concept for Characterizing Provable Network Digital Evidences. International Journal of Security and Networks (IJSN). 4(4): 234-245, 2009.

• Slim Rekhis and NoureddineBoudriga. Investigating attack scenarios in multihop wireless systems. Journal of Networks (JNW), 4(7): 539-551, 2009.

• YacineDjemaiel, Slim Rekhis, and NoureddineBoudriga. Intrusion Detection and Tolerance: A global Scheme. Wiley International Journal of Communication Systems, 21(2): 211-230, 2008.

Conference papers

• BayremTriki, Slim Rekhis, and NoureddineBoudriga.Survivable Routing in all Optical Networks.In Proceedings of 13th International Conference on Transparent Optical Networks (ICTON 2011), Stockholm, Sweden. June 26-30, 2011.

• BayremTriki, Slim Rekhis, and NoureddineBoudriga. Secure and QoS-aware SIP handover for VoIP Communication in Vehicular Adhoc Networks. In Proceedings of The 7th International Wireless Communications and Mobile Computing Conference (IWCMC 2011), Istanbul, Turkey. July 5-8, 2011.

• Nejd Ben Hamza, Slim Rekhis, and NoureddineBoudriga. Cooperative Architecture for QoS Management in Wireless 4G Networks.In Proceedings of IEEE Symposium on Computers & Informatics (ISCI’2011), Kuala Lumpur, Malaysia. March 20-22, 2011.

• BayremTriki, Slim Rekhis, and NoureddineBoudriga. An RFID based System for Digital Investigation in Vehicular Adhoc Networks. In Proceedings of Workshop on Mobile Computing and Emerging Communication Networks (MCEN’10) in conjunction with IEEE Global Communications Conference (GLOBECOM 2010), Miami, Florida, USA. December 10, 2010.

• BayremTriki, Slim Rekhis, and NoureddineBoudriga. A novel secure and multipath routing algorithm in wireless sensor networks. In Proceedings of International Conference on Data Communication Networking (DCNet 2010), part of ICETE, the International Joint Conference on e-Business and Telecommunications. Athens, Greece. July 26-28, 2010. (Best Student Paper Award).

• Slim Rekhis and NoureddineBoudriga. Formal Digital Investigation of Anti-forensic Attacks. In Proceedings of the Fifth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering In conjunction with the IEEE Security and Privacy Symposium (SADFE-2010), Oakland, CA, USA. May 20, 2010.

• Boutheina Fessi, Salah Ben Abdallah, Mohamed Hamdi, Slim Rekhis, and NoureddineBoudriga. Data Collection for Information Security System.In Proceedings of the Second International Conference on Engineering Systems Management & Applications (ICESMA 2010), Sharjah, UAE. March 30 - April 1, 2010.

• Slim Rekhis and NoureddineBoudriga. Pattern-based digital investigation of x-hole attacks in wireless networks. In Proceedings of International Conference on Ultra Modern Telecommunications, St.-Petersburg, Russia, 12-14 October 2009.

• BayremTriki, Slim Rekhis, and NoureddineBoudriga. Digital investigation of wormhole attacks in wireless sensor networks. In Proceedings of 8th IEEE International Symposium on Network Computing and Applications (IEEE NCA09), Cambridge, MA, USA, 9 - 11 July 2009.

• Slim Rekhis and NoureddineBoudriga. A Formal Rule-based Scheme for Digital Investigation in Wireless Ad-hoc Networks. In Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering In conjunction with the IEEE Security and Privacy Symposium (SADFE-2009), Oakland, CA, USA. May 21, 2009.

• Alaeddine Chouchane, Slim Rekhis, and NoureddineBoudriga. Defending against Rogue Base Station Attacks Using Wavelet Based Fingerprinting. In Proceedings of Accepted in the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-2009), Rabat, Morocco. May 2009.

• Slim REKHIS and Noureddine BOUDRIGA. Digital Investigation in Multi-Layered Wireless Sensor Networks.In Proceeding of the IASTED International Symposium on Distributed Sensor Networks (DSN 2008). Orlando, Florida, USA. November 16 – 18, 2008

• Slim REKHIS and Noureddine BOUDRIGA. Attack scenarios reconstruction and paths of packets transfer identification in multihop wireless systems. In Proceedings of the the workshop on Security of Wireless Communication Systems (SWCS’08) in association with second International Conference on New Technologies, Mobility and Security. Tangier, Morocco 5-7 November 2008.

• Slim REKHIS, Jihene KRICHENE, and Noureddine BOUDRIGA. DigForNet: Digital Forensic in Networking. In Proceedings of the 3rd International Information Security Conference (SEC 2008), Milan, Italy - September 8 - 10, 2008.

• Slim REKHIS, Jihene KRICHENE, and Noureddine BOUDRIGA. Cognitive-Maps based Investigation of Digital Security Incidents. In Proceedings of the 3rd International Workshop on Systematic Approaches to Digital Forensic Engineering (IEEE/SADFE2008), Oakland, CA, May 22, 2008.

• Slim REKHIS and Noureddine BOUDRIGA. A Formal Approach for the Reconstruction of Potential Attack Scenarios. In Proceedings of the 3rd International Conference on Information & Communication Technologies: from Theory to Applications (ICTTA’08), Damascus, Syria, April 7-11, 2008.

• Slim REKHIS, Alaaedine CHOUCHANE, and Noureddine BOUDRIGA. Detection and Reaction against DDoS Attacks in Cellular Networks. In Proceedings of the 3rd International Conference on Information & Communication Technologies: from Theory to Applications (ICTTA’08), Damascus, Syria, April 7-11, 2008.

• Slim Rekhis and NoureddineBoudriga. Execution-based Digital Investigation on Compromised Systems with Automated Hypotheses Generation. In Proceedings of 49th Annual IEEE GLOBECOM conference, San Francisco, California, 27 November - 1 December, 2006.

• Slim Rekhis and NoureddineBoudriga. Visibility: A Novel Concept for Characterizing Provable Network Digital Evidences. In Proceedings of 8th International Symposium on System and Information Security, Sao Paulo, Brazil, 08-10 November, 2006.

• Slim Rekhis and NoureddineBoudriga. Opacity: A Theoretical Technique for Digital Investigation. In Proceedings of 2nd IEEE International Conference on Information and Communication Technologies: From Theory to Applications, Damascus, Syria, 24-28 April, 2006.

• Faouzi Zarai, Slim Rekhis, NoureddineBoudriga, and KamelZidene. SDPPM: An IP Traceback Scheme for MANET. In Proceedings of 12th IEEE International Conference on Electronics, Circuits, and Systems, pages 127-130, Tunis, Tunisia, 11-14 December, 2005.

• Yacine Djemaiel, Slim Rekhis, and NoureddineBoudriga. Cooperative Intrusion Detection and Tolerance System. In Proceedings of 12th IEEE International Conference on Electronics, Circuits, and Systems, pages 297-300, Tunis, Tunisia, 11-14 December, 2005.

• Slim Rekhis and NoureddineBoudriga. A Temporal Logic-based Model for Forensic Investigation in Networked System Security. In Proceedings of the Third International Workshop Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS-05), pages 325-338, St. Petersburg, Russia, 24-28 September, 2005. Springer Verlag, LNCS 3685.

• Slim Rekhis and NoureddineBoudriga. Formal Forensic Investigation Eluding Disk-based Anti-forensic Attacks. In Proceedings of Workshop on Information Security Applications, Jeju Island, Korea, 22-24 August, 2005.
  - YacineDjemaiel, Slim Rekhis, and NoureddineBoudriga. Adaptive and Selective Packet Marking in Communication Networks. In Proceedings of 9th WSEAS International conference on Communications, Athene, Greece, 14-16 July, 2005.

• Slim REKHIS and NoureddineBoudriga. A Formal Logic-based Language and an Automated Verification Tool for Computer Forensic Investigation. In Proceedings of the 2005 ACM symposium on Applied computing, pages 287-291, Santa Fe, New Mexico, 13-17 March, 2005.

• Slim Rekhis and NoureddineBoudriga. Formal Verification of Intrusion Detection Systems Using TLA+. In Proceeding of Workshop on Issues in the Theory of Security (WITS'04) in association with European Joint Conferences on Theory and Practice of Software (ETAPS 04), Barcelona, Spain, 3-4 April, 2004.
  
  Focal research interests
  DrRekhis’sactual research interests include theoretical techniques of digital investigation of security incidents, formal modeling, intrusion detection and tolerance, traceback of host and network attacks, and wireless security.