Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Paul E. Black (Fed)

Computer Scientist

Dr. Black has nearly 20 years of industrial experience in areas such as developing software for IC design and verification, assuring software quality, and managing business data processing. He is in the Software Quality Group, Systems and Software Division, Information Technology Laboratory. The web site he began and edits, the on-line Dictionary of Algorithms and Data Structures, (http://www.nist.gov/dads/) was accessed almost 20,000 times a day from all over the world.

Dr. Black began his Ph.D. at UC Berkeley, then transferred to Brigham Young University where he graduated in 1998. He has taught classes at Brigham Young University and Johns Hopkins University. Dr. Black has published in the areas of static analysis, software testing, software configuration control, networks and queuing analysis, formal methods, software verification, quantum computing, and computer forensics.

Software/Hardware Experience: 

Programming Languages: Python, C, Perl, Java, Pascal, C++, ML, Lisp, Fortran, RPG II, Assembler, and Forth
Operating Systems: Linux, UNIX, Microsoft Windows, and VAX/VMS
Computers: Intel, Sun, DEC VAX, and IBM System 3

Publications:

For a complete listing of Dr. Black's publications, see: http://hissa.nist.gov/~black/Papers/

Professional Societies:

Awards

U.S. Department of Commerce Bronze Medal for developing a series of outstanding technical guidelines addressing critical cybersecurity needs prioritized by the White House, December 2017.

U.S. Department of Commerce Bronze Medal for leadership in the development of software assurance test methods and reference data, December 2013.

Best Project Chief Certificate for extensive knowledge, hard work, and loyalty to the team members of SAMATE, September 2006.

ITL Outstanding Authorship Award in recognition of his publication, "Quantum Computing and Communications", September 2003.

Publications

SATE VI Ockham Sound Analysis Criteria

Author(s)
Paul E. Black, Kanwardeep S. Walia
Static analyzers examine the source or executable code of programs to find problems. Many static analyzers use heuristics or approximations to examine programs

Static Analyzers: Seat Belts for Your Code

Author(s)
Paul E. Black
Just as seat belt use is wide spread, we argue that the use static analysis should be part of ethical software development. We explain some of the procedures of

Opaque Wrappers and Patching: Negative Results

Author(s)
Paul E. Black, Monika Singh
When a patch is released for buggy software, bad actors may be able to analyze the patch and create an attack on unpatched machines. A wrapper could block

Formal Methods for Statistical Software

Author(s)
Paul E. Black
"Statistical software" encompasses several distinct classes of software. This report explains what formal methods, tools, and approaches may be able to increase
Created October 9, 2019, Updated June 15, 2021