Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. - Omar M. Alhawi; Mustafa A. Mustafa; Lucas C. Cordeiro (SIoT, 2019)

Verification and refutation of C programs based on k-induction and invariant inference. - Omar M. Alhawi; Herbert Rocha; Mikhail R. Gadelha; Lucas C. Cordeiro; Eddie Batista de Lima Filho (Int. J. Softw. Tools Technol. Transf., 2021)