From: FedScoop
The UL certification won’t mean a system is impervious to hacking, but it helps codify cyber hygiene practices, he said.
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.
Read/Listen to Complete Article
Leave a Reply