Welcome to the Digital Security Research Unit (DSRU), located at the Higher School of Communication of Tunis (Sup'Com), Tunis, Tunisia.
- Partnership
- University of Bordeaux - (France)
- INRIA Lorraine - (France)
- University of LAVAL - (Canada)
- ENST Bretagne Rennes - (France)
- Supelec Rennes - (France)
- University of Nice Sophia Antipolis - (France)
- University of Tsukuba - (Japan)
- Research interests
- Automated Reasoning
- Algebraic specifications
- Rewriting
- Network Security
- Cryptography
- Validation of cryptographic protocols