Section: Partnerships and Cooperations

International Grants

• French-Tunisian project on Security Policies and Configurations of Firewalls: Compilation and Automated Verification. We collaborate with SupCom Tunis and the INRIA project-team Dahu in the context of STIC-Tunisia.