Muath Alkhalaf

13 papers A* 3A 4Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2017 — book
String Analysis for Software Verification and Security.
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
2014 J jnl
Automata-based symbolic string analysis for vulnerability detection.
Formal Methods Syst. Des.
Fang Yu, Muath Alkhalaf, Tevfik Bultan, Oscar H. Ibarra
2014 A conf
Automated Test Generation from Vulnerability Signatures.
ICST
Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan
2014 — —
Automatic Detection and Repair of Input Validation and Sanitization Bugs.
Muath Alkhalaf
2014 A conf
Semantic differential repair for input validation and sanitization.
ISSTA
Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan
2012 A* conf
Verifying client-side input validation functions using string analysis.
ICSE
Muath Alkhalaf, Tevfik Bultan, Jose L. Gallegos
2012 A conf
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies.
ISSTA
Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel
2011 A* conf
Patching vulnerabilities with sanitization synthesis.
ICSE
Fang Yu, Muath Alkhalaf, Tevfik Bultan
2010 J jnl
Runtime Verification of Web Service Interface Contracts.
Computer
Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire
2010 A conf
Stranger: An Automata-Based String Analysis Tool for PHP.
TACAS
Fang Yu, Muath Alkhalaf, Tevfik Bultan
2009 — conf
Generating Interface Grammars from WSDL for Automated Verification of Web Services.
ICSOC/ServiceWave
Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf
2009 A* conf
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses.
ASE
Fang Yu, Muath Alkhalaf, Tevfik Bultan
2008 — conf
Client and server verification for web services using interface grammars.
TAV-WEB
Graham Hughes, Tevfik Bultan, Muath Alkhalaf