Muath Alkhalaf

I am Muath Alkhalaf a PhD student at UCSB in Computer Science Department. I am a member of Software Verification Lab supervised by Prof. Tevfik Bultan.

Currently I am working on PHP web applications verification. I am a co-developer of Stranger “an Automata Based String Analysis Tool for PHP Web Applications”.

I am also interested in Computer Security and participated as a member of UCSB hackers group.

Check my CV for more Information. Thank you for visiting.

Profile

Name: Muath Alkhalaf

Email: muath at cs.ucsb.edu

Phone: (805) 708-9101

Address: 718 Gayley Walk #103, Goleta, CA 93117

Facebook: Muath Alkhalaf

Skype ID: malkhalaf

Work: Verification Lab. Computer Science Dept. UCSB.

Advisor: Tevfik Bultan

News

Stranger is out. Try it at www.cs.ucsb.edu/~vlab/stranger

and give me your feedback.

About Me

Publications

Sylvain Halle, Tevfik Bultan, Graham Hughes, Muath Alkhalaf and Roger Villemaire. "Runtime Verification of Web Service Interface Contracts." To appear in IEEE Computer.

Sylvain Halle, Graham Hughes, Tevfik Bultan, and Muath Alkhalaf. "Generating Interface Grammars from WSDL for Automated Verification of Web Services." To appear in the Proceedings of the 7th International Conference on Service Oriented Computing (ICSOC 2009).

Fang Yu, Muath Alkhalaf and Tevfik Bultan. "Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses." Short paper. To appear in the Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009).

Graham Hughes, Tevfik Bultan and Muath Alkhalaf. "Client and Server Verification for Web Services Using Interface Grammars." Proceedings of the Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008), pp. 40-46, Seattle, Washington, July 21, 2008.