Publications Portal

You searched on:
Author: Paul Black

Displaying records 1 to 10 of 51 records.
Resort by: Date / Title

1. Report on the Metrics and Standards for Software Testing (MaSST) Workshop 2012
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7920
Published: 4/22/2013
Authors: Paul E Black, Elizabeth Nee nee Fong
Abstract: The NIST Software Assurance Metrics And Tool Evaluation (SAMATE) project conducted a workshop on Metrics and Standards for Software Testing (MaSST) on June 20, 2012. This workshop was co-located with the IEEE Sixth International Conference on Sof ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=913074

2. Report on the Static Analysis Tool Exposition (SATE) IV
Series: Special Publication (NIST SP)
Report Number: 500-297
Published: 2/4/2013
Authors: Vadim Okun, Aurelien Michel Dominique Delaitre, Paul E Black
Abstract: The NIST SAMATE project conducted the fourth Static Analysis Tool Exposition (SATE IV) to advance research in static analysis tools that find security defects in source code. The main goals of SATE were to enable empirical research based on large ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=912378

3. The New Golden Age of Algorithms and Data Structures
Published: 10/29/2012
Author: Paul E Black
Abstract: Before 1976 Communications of the ACM printed (and numbered!) new algorithms every issue. Quicksort was invented in 1960, Boyer-Moore string search in 1977, and combsort in 1980. I haven't seen a new, general sorting algorithm in over a decade. The l ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=912693

4. The Juliet 1.1 C/C++ and Java Test Suite
Published: 10/1/2012
Authors: Frederick E Boland Jr, Paul E Black
Abstract: The Juliet Test Suite 1.1 is a collection of over 81,000 synthetic C/C++ and Java programs with known flaws. These programs are useful as test cases for testing the effectiveness of static analyzers and other software assurance tools, and are in the ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=912128

5. Report on the Third Static Analysis Tool Exposition (SATE 2010)
Series: Special Publication (NIST SP)
Report Number: 500-283
Published: 10/27/2011
Authors: Vadim Okun, Paul E Black, Aurelien Michel Dominique Delaitre
Abstract: The NIST Software Assurance Metrics And Tool Evaluation (SAMATE) project conducted the third Static Analysis Tool Exposition (SATE) in 2010 to advance research in static analysis tools that find security defects in source code. The main goals of ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=909407

6. Counting Bugs is Harder Than You Think
Published: 10/20/2011
Author: Paul E Black
Abstract: Software Assurance Metrics And Tool Evaluation (SAMATE) is a broad, inclusive project at the U.S. National Institute of Standards and Technology (NIST) with the goal of improving software assurance by developing materials, specifications, and methods ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=908871

7. NIST SP 500-268, Source Code Security Analysis Tool Function Specification Version 1.1
Series: Special Publication (NIST SP)
Report Number: 500-268 1.1
Published: 2/28/2011
Authors: Elizabeth Nee nee Fong, Paul E Black, Michael J Kass, Hsiao-Ming Michael Koo
Abstract: Software assurance tools are a fundamental resource to improve assurance in today's software applications. Some tools analyze software requirements or design models to help determine if an application is secure. Others analyze source code or executab ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=907761

8. The Second Static Analysis Tool Exposition (SATE) 2009
Series: Special Publication (NIST SP)
Report Number: 500-287
Published: 7/2/2010
Authors: Vadim Okun, Paul E Black, Aurelien Michel Dominique Delaitre
Abstract: The NIST SAMATE project conducted the second Static Analysis Tool Exposition (SATE) in 2009 to advance research in static analysis tools that find security defects in source code. The main goals of SATE were to enable empirical research based on larg ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=905879

9. Static Analysis Tool Exposition (SATE) 2008
Series: Special Publication (NIST SP)
Report Number: 500-279
Published: 6/22/2009
Authors: Vadim Okun, Romain Gaucher, Paul E Black
Abstract: The NIST SAMATE project conducted the first Static Analysis Tool Exposition (SATE) in 2008 to advance research in static analysis tools that find security defects in source code. The main goals of SATE were to enable empirical research based on large ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=902679

10. Cyber Security Metrics and Measures
Published: 3/2/2009
Authors: Paul E Black, Karen Ann Scarfone, Murugiah P Souppaya
Abstract: Metrics are tools to facilitate decision making and improve performance and accountability. Measures are quantifiable, observable, and objective data supporting metrics. Operators can use metrics to apply corrective actions and improve performance. R ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51292