search
menu
icon-carat-right
cmu-wordmark
✕
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
Enterprise Risk and Resilience Management
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webinar Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity and Inclusion
Internship Opportunities
Working at the SEI
Carnegie Mellon University
Software Engineering Institute
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cloud Computing
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity, and Inclusion
Internship Opportunities
Home
Publications
Authors
William Snavely
William Snavely
Carnegie Mellon University
All
Composing Effective Software Security Assurance Workflows
October 18, 2018
•
Technical Report
By
Bill Nichols
,
Jim McHale
,
David Sweeney
,
William Snavely
,
Aaron Volkmann
Detecting Leaks of Sensitive Data Due to Stale Reads
October 5, 2018
•
Conference Paper
By
William Snavely
,
William Klieber
,
Ryan Steele
,
David Svoboda
,
Andrew Kotov
Practical Precise Taint-flow Static Analysis for Android App Sets
August 27, 2018
•
White Paper
By
William Klieber
,
Lori Flynn
,
William Snavely
,
Michael Zheng
Prioritizing Alerts from Multiple Static Analysis Tools, Using Classification Models
August 14, 2018
•
Conference Paper
By
Lori Flynn
,
William Snavely
,
David Svoboda
,
Nathan M. VanHoudnos
,
Richard Qin
,
Jennifer Burns
,
David Zubrow
,
Robert W. Stoddard
,
Guillermo Marce-Santurio
Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon and Rules
September 24, 2017
•
Presentation
By
Lori Flynn
,
David Svoboda
,
William Snavely
More from William Snavely