| |
| 2008 | ||
|---|---|---|
| 5 | EE | Slim Rekhis, Jihène Krichène, Noureddine Boudriga: DigForNet: Digital Forensic in Networking. SEC 2008: 637-651 |
| 4 | EE | Yacine Djemaiel, Slim Rekhis, Noureddine Boudriga: Intrusion detection and tolerance: A global scheme. Int. J. Communication Systems 21(2): 211-230 (2008) |
| 2006 | ||
| 3 | EE | Slim Rekhis, Noureddine Boudriga: Execution-based Digital Investigation on Compromised Systems with Automated Hypotheses Generation. GLOBECOM 2006 |
| 2005 | ||
| 2 | EE | Slim Rekhis, Noureddine Boudriga: A Temporal Logic-Based Model for Forensic Investigation in Networked System Security. MMM-ACNS 2005: 325-338 |
| 1 | EE | Slim Rekhis, Noureddine Boudriga: A formal logic-based language and an automated verification tool for computer forensic investigation. SAC 2005: 287-291 |
| 1 | Noureddine Boudriga | [1] [2] [3] [4] [5] |
| 2 | Yacine Djemaiel | [4] |
| 3 | Jihène Krichène | [5] |