I am a fourth year PhD student, working under the supervision of Dr. Ehab Al-Shaer. My interest is mainly in using formal method techniques to design, implement and verify, secure cyber systems and protocols. Currently I am involved in multiple projects:
1- Formally designing and verifying resilient and robust protocols against infrastructure level attacks.
2- Designing bio-inspired resilient frameworks for future cyber infrastructures.
3- Damage detection in critical infrastructure by structural identification (e.g. civil bridges and buildings).
Research Areas: Collaborative Systems, Network Security, Security, Wireless and Network Security