Muath Alkhalaf
Qassim University(SA)
Publications by Year
Research Areas
Web Application Security Vulnerabilities, Software Testing and Debugging Techniques, Security and Verification in Computing, Advanced Malware Detection Techniques, Service-Oriented Architecture and Web Services
Most-Cited Works
- → Stranger: An Automata-Based String Analysis Tool for PHP(2010)139 cited
- → Automata-based symbolic string analysis for vulnerability detection(2013)71 cited
- → Patching vulnerabilities with sanitization synthesis(2011)57 cited
- → Automated Grading Systems for Programming Assignments: A Literature Review(2019)50 cited
- → Runtime Verification of Web Service Interface Contracts(2010)49 cited
- → Semantic differential repair for input validation and sanitization(2014)44 cited
- → Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses(2009)39 cited
- → String Analysis for Software Verification and Security(2017)34 cited
- → ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies(2012)24 cited
- → Generating Interface Grammars from WSDL for Automated Verification of Web Services(2009)21 cited