Concepedia

Muath Alkhalaf

MA

Statistics

Publications

10

Citations

340

H-Index

10

Active since

2008

Affiliations

University of California, Santa Barbara(Current)

National Chengchi University

Muath Alkhalaf is an author at University of California, Santa Barbara specializing in computer science, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisSoftware TestingVerificationSoftware EngineeringData Security

Publications per year

2008–2014

10

Publications

10

Automata-based symbolic string analysis for vulnerability detection

Fang Yu, Muath Alkhalaf, Tevfik Bultan et al. · Formal Methods in System Design · 2013 · 71 citations

Vulnerability Assessment (Computing), Engineering, Program Analysis +8

Patching vulnerabilities with sanitization synthesis

Fang Yu, Muath Alkhalaf, Tevfik Bultan · 2011 · 57 citations

Engineering, Information Security, Source Code Analysis +17

Runtime Verification of Web Service Interface Contracts

Sylvain Hallé, Tevfik Bultan, Graham Hughes et al. · Computer · 2010 · 49 citations

Engineering, Business Intelligence, Verification +24

Semantic differential repair for input validation and sanitization

Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan · 2014 · 44 citations

Engineering, Semantic Differential Repair, Verification +20

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

Fang Yu, Muath Alkhalaf, Tevfik Bultan · 2009 · 39 citations

Engineering, Information Security, Verification +20

1–5 of 10