Paul E. Black

Raghu Kacker, David Banks, Paul E. Black, 1998, Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241).

Proceedings of Workshop on Software Security Assurance Tools, Techniques, and Metrics

Elizabeth N. Fong, Paul E. Black, Michael J. Kass, 2006 .

Test Generation Using Model Checking and Specification Mutation

Paul E. Black, 2014, IT Professional.

Is 'Implementation Implies Specification' Enough?

Paul E. Black, 2000, DAC 2000.

Application of Probabilistic Performance Assessment Modeling for Optimization of Maintenance Studies for Low-Level Radioactive Waste Disposal Sites at the Nevada Test Site

Paul E. Black, Vefa Yucel, Bruce Crowe, 2002 .

Software Assurance Tools: Web Application Security Scanner Functional Specification Version 1.0

Elizabeth N. Fong, Vadim Okun, Paul E. Black, 2008 .

Dramatically Reducing Software Vulnerabilities | NIST

Larry Feldman, Gregory A. Witte, Paul E. Black, 2017 .

Cyber Security Metrics and Measures

Karen A. Scarfone, Murugiah P. Souppaya, Paul E. Black, 2008 .

Wouldn't it be nice to have software labels

Simson L. Garfinkel, Gary McGraw, Paul E. Black, 2010, SIGAda.

Comparison of fault classes in specification-based testing

Vadim Okun, Yaacov Yesha, Paul E. Black, 2004, Inf. Softw. Technol..

A specification-based coverage metric to evaluate test sets

Paul Ammann, Paul E. Black, P. Ammann, 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

The Bugs Framework (BF): A Structured Approach to Express Bugs

Yan Wu, Irena Bojanova, Yaacov Yesha, 2016, 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS).

Report of the Workshop on Software Measures and Metrics to Reduce Security Vulnerabilities (SwMM- RSV).

Elizabeth N. Fong, Paul E. Black, 2016 .

Proceedings of the 2008 workshop on Static analysis

Paul E. Black, Arnard Venet, 2008, PLDI 2008.

TOOLympics 2019: An Overview of Competitions in Formal Methods

Fabrice Kordon, Ezio Bartocci, Dirk Beyer, 2019, TACAS.

Translating HOL to Speciflcations for the Model Checker SMV

Paul E. Black, Dan Zhou, Dan Zhou, 2001 .

Impact of Code Complexity On Software Analysis

Elizabeth N. Fong, Charles Daniel De Oliveira, Paul E. Black, 2017 .

GDIST: A Distributed Configuration Control System

Paul E. Black, 1988, SCM.

Cryptography classes in bugs framework (BF): Encryption bugs (ENC), verification bugs (VRF), and key management bugs (KMN)

Irena Bojanova, Yaacov Yesha, Paul E. Black, 2017, 2017 IEEE 28th Annual Software Technology Conference (STC).

Abstracting formal specifications to generate software tests via model checking

Paul Ammann, Paul E. Black, 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

NIST SP 500-268, Source Code Security Analysis Tool Function Specification Version 1.1

Elizabeth N. Fong, Paul E. Black, Michael J. Kass, 2011 .

Proceedings of Defining the State of the Art in Software Security Tools Workshop

Elizabeth N. Fong, Paul E. Black, P. Black, 2005 .

Computer forensics at NIST

Paul E. Black, James R. Lyle, Douglas R. White, 2012 .

Testing BIOS Interrupt 0x13 Based Software Write Blockers

Paul E. Black, James R. Lyle, P. Black, 2005 .

A Rational Foundation for Software Metrology

Raghu N. Kacker, Elizabeth N. Fong, Vadim Okun, 2016 .

Quantum Computing and Communication | NIST

David R. Kuhn, Paul E. Black, Carl J. Williams, 2002 .

Report on the Metrics and Standards for Software Testing (MaSST) Workshop 2012

Elizabeth N. Fong, Paul E. Black, 2013 .

Test Generation and Recognition with Formal Methods

Paul Ammann, Paul E. Black, P. Ammann, 2000 .

Juliet 1.3 test suite: changes from 1.2

Paul E. Black, P. Black, 2018 .

Effect of static analysis tools on software security: preliminary investigation

Vadim Okun, Paul E. Black, Romain Gaucher, 2007, QoP '07.

Modeling and marshaling: making tests from model checker counterexamples

Paul E. Black, 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

Verifying resilient software

Phillip J. Windley, Paul E. Black, 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

Juliet 1.1 C/C++ and Java Test Suite

Paul E. Black, Tim Boland, P. Black, 2012, Computer.

SAMATE's Contribution to Information Assurance

Paul E. Black, 2006 .

Dramatically Reducing Software Vulnerabilities: Report to the White House Office of Science and Technology Policy

Elizabeth N. Fong, Paul E. Black, Barbara Guttman, 2016 .

SAMATE and Evaluating Static Analysis Tools

Paul E. Black, P. Black, 2007 .

A common-sense probabilistic approach to assessing inadvertent human intrusion into low-level radioactive waste at the Nevada Test Site

Paul E. Black, L. Barker, Kelly Black, 1997 .

Formal verification of secure programs in the presence of side effects

Phillip J. Windley, Paul E. Black, 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

Software vulnerabilities precluded by spark

Paul E. Black, F. David Jones, Joyce L. Tokar, 2011 .

Proceedings of Static Analysis Summit II

Paul E. Black, Nishil Bharill, P. Black, 2008 .

Inference Rules for Programming Languages with Side Effects in Expressions

Phillip J. Windley, Paul E. Black, 1996, TPHOLs.

Software vulnerabilities precluded by spark

Paul E. Black, F. David Jones, Joyce L. Tokar, 2011, SIGAda.

Advancing Performance Assessment for Disposal of Depleted Uranium at Clive Utah - 12493

Mark Fitzgerald, Paul E. Black, Ralph Perona, 2012 .

A brief introduction to formal methods [hardware design]

Phillip J. Windley, Paul E. Black, Michael Jones, 1996, Proceedings of Custom Integrated Circuits Conference.

Defeating Buffer Overflow: One of the Most Trivial and Dangerous Bugs of All!

Irena Bojanova, Paul E. Black, 2016 .

Quantum computing and communication

D. Richard Kuhn, Paul E. Black, D. R. Kuhn, 2002, Adv. Comput..

Static Analyzers: Seat Belts for Your Code

Paul E. Black, P. Black, 2012, IEEE Security & Privacy.

Building a Test Suite for Web Application Scanners

Vadim Okun, Paul E. Black, Romain Gaucher, 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

Axiomatic semantics verification of a secure web server

Paul E. Black, 1998 .

Autotically Synthesized Term Denotation Predicates: A Proof Aid

Phillip J. Windley, Paul E. Black, 1995, TPHOLs.

Static Analysis Tool Exposition (SATE) 2008

Vadim Okun, Paul E. Black, Romain Gaucher, 2009 .

Modeling quantum information systems

Paul E. Black, Andrew W. Lane, P. Black, 2004, SPIE Defense + Commercial Sensing.

Software Assurance Tools: Web Application Security Scanner Functional Specification Version 1.0

Elizabeth N. Fong, Vadim Okun, Paul E. Black, 2008 .

Software Assurance Metrics and Tool Evaluation

Paul E. Black, 2005, Software Engineering Research and Practice.

Software security assurance tools, techniques and metrics (SSATTM)

Paul E. Black, Michael Kass, P. Black, 2005, ASE '05.

Counting Bugs is Harder Than You Think | NIST

Paul E. Black, 2011 .

Management of the Area 5 Radioactive Waste Management Site using Decision-based, Probabilistic Performance Assessment Modeling

Tom Stockton, Paul E. Black, Vefa Yucel, 2003 .

SATE V Ockham Sound Analysis Criteria

Paul E. Black, Athos Ribeiro, 2016 .

Randomness Classes in Bugs Framework (BF): True-Random Number Bugs (TRN) and Pseudo-Random Number Bugs (PRN)

Irena Bojanova, Yaacov Yesha, Paul E. Black, 2018, 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).

Algorithms and Data Structures for New Models of Computation

Irena Bojanova, Paul E. Black, David Flater, 2021, IT Professional.

Guidelines on Minimum Standards for Developer Verification of Software pdf

Vadim Okun, Paul E. Black, Barbara Guttman, 2021, ArXiv.

Blockchain Smart Contracts Static Analysis for Software Assurance

Paul E. Black, Suzanna Schmeelk, Bryan Rosado, 2021, Lecture Notes in Networks and Systems.