NIST’s Paul Black discusses UL’s cyber certification, ‘formal methods’

Host Kevin Greene and guest Paul Black, computer scientist at National Institute of Standards and Technology, discuss the potential impact of Underwriters Laboratories, or UL, certification and assessment for cybersecurity technologies. Black also talks about the role of “formal methods” — referring to mathematical techniques that are used in the design, implementation and testing of complex systems — in our modern software world and discusses various projects at NIST to help improve software security.

[Read more: Underwriters Laboratories rolls out Cybersecurity Assurance Program]

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 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. A member of Association for Computing Machinery and IEEE Computer Society, and a senior member of IEEE, Black earned his doctorate in computer science from Brigham Young University.


FedScoop’s latest podcast series, “Cybersecurity Insights & Perspectives” explores the latest news and developments in cybersecurity and information assurance affecting federal agencies, featuring some of the top commercial and academic research experts in the country.

Kevin Greene has more than 17 years of cybersecurity and information assurance experience. His contributions to FedScoop represent his own views and do not reflect the positions or policies of any federal agency. Follow him at @iamkevtorious.