Doha Ouardi

Security protocols for network communication are challenging to develop and require formal methods to ensure correctness. Public key encryption is effective against passive eavesdroppers, but improper design could make it vulnerable to active saboteurs. Process algebras are popular for designing security protocols, but limitations exist. Doha’s PhD project will investigate coordination-based process algebra, specifically the « Bach language », to address these issues and ensure security and privacy, considering all possible attacker behaviors. The project will focus on researching methods, modeling protocols, finding vulnerabilities, and fixing them.