1. ANOVUL: Detection of logic vulnerabilities in annotated programs via data and control flow analysis. (1st May 2020) Authors: Ghorbanzadeh, Mahmoud; Reza Shahriari, Hamid Journal: IET information security Issue: Volume 14:Number 3(2020) Page Start: 352 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗