Muath Alkhalaf

According to our database, Muath Alkhalaf authored at least 13 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

String Analysis for Software Verification and Security.

Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

Springer, ISBN: 978-3-319-68668-4, 2017

2014

Automatic Detection and Repair of Input Validation and Sanitization Bugs.

Muath Alkhalaf

PhD thesis, 2014

Automata-based symbolic string analysis for vulnerability detection.

Fang Yu, Muath Alkhalaf, Tevfik Bultan, Oscar H. Ibarra

Formal Methods Syst. Des., 2014

Semantic differential repair for input validation and sanitization.

Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Automated Test Generation from Vulnerability Signatures.

Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2012

ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies.

Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Verifying client-side input validation functions using string analysis.

Muath Alkhalaf, Tevfik Bultan, Jose L. Gallegos

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Patching vulnerabilities with sanitization synthesis.

Fang Yu, Muath Alkhalaf, Tevfik Bultan

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Runtime Verification of Web Service Interface Contracts.

Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire

Computer, 2010

Stranger: An Automata-Based String Analysis Tool for PHP.

Fang Yu, Muath Alkhalaf, Tevfik Bultan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009

Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses.

Fang Yu, Muath Alkhalaf, Tevfik Bultan

Proceedings of the ASE 2009, 2009

Generating Interface Grammars from WSDL for Automated Verification of Web Services.

Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

Client and server verification for web services using interface grammars.

Graham Hughes, Tevfik Bultan, Muath Alkhalaf

Proceedings of the 2008 Workshop on Testing, 2008