Jeffrey S. Foster

A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

David Wagner, Jeffrey S. Foster, Alex Aiken · 2000 · 612 citations

Flow-sensitive type qualifiers

Jeffrey S. Foster, Tachio Terauchi, Alex Aiken · 2002 · 371 citations

Engineering, Type Theory, Verification +20

Detecting format string vulnerabilities with type qualifiers

Umesh Shankar, Kunal Talwar, Jeffrey S. Foster et al. · 2001 · 356 citations

Engineering, Verification, Information Forensics +19

SCanDroid: Automated Security Certification of Android

Adam P. Fuchs, Avik Chaudhuri, Jeffrey S. Foster · Digital Repository at the University of Maryland (University of Maryland College Park) · 2009 · 302 citations · Full text

A Comparison of Bug Finding Tools for Java

Nick Rutar, Christian Butiu Almazan, Jeffrey S. Foster · 2005 · 274 citations

Software Maintenance, Engineering, Software Engineering +18