Old Web
English
Sign In
Acemap
>
Paper
>
Saluki: Finding Taint-style Vulnerabilities with Static Property Checking
Saluki: Finding Taint-style Vulnerabilities with Static Property Checking
2018
Ivan Gotovchits
Rijnard Van Tonder
David Brumley
Keywords:
Computer security
Model checking
Vulnerability
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
19
References
9
Citations
NaN
KQI
[]