I am a Ph.D. student at the Telematics group of the Georg-August-University Goettingen. My main research area is formal analysis and verification of security protocols. I am working under supervision of Prof. Dr. Dieter Hogrefe.
Security verification of trust-based authentication handover in ip networks. Saleh Al-Shadly, Omar Alfandi, Henrik Brosenne, and Dieter Hogrefe. In Workshop on Privacy, Security and Trust in Mobile and Wireless Systems at the 20th IEEE International Conference on Computer Communications and Networks (ICCCN), Maui, Hawaii, USA, July 2011.
