Paul E. Black

According to our database, Paul E. Black authored at least 37 papers between 1988 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Algorithms and Data Structures for New Models of Computation.

Paul E. Black, David W. Flater, Irena Bojanova

IT Prof., 2021

Guidelines on Minimum Standards for Developer Verification of Software.

Paul E. Black, Barbara Guttman, Vadim Okun

CoRR, 2021

Blockchain Smart Contracts Static Analysis for Software Assurance.

Suzanna Schmeelk, Bryan Rosado, Paul E. Black

Proceedings of the Intelligent Computing, 2021

2019

Defects and Vulnerabilities in Smart Contracts, a Classification using the NIST Bugs Framework.

Wesley Dingman, Aviel Cohen, Nick Ferrara, Adam Lynch, Patrick Jasinski, Paul E. Black, Lin Deng

Int. J. Networked Distributed Comput., 2019

Opaque Wrappers and Patching: Negative Results.

Paul E. Black, Monika Singh

Computer, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Classification of Smart Contract Bugs Using the NIST Bugs Framework.

Wesley Dingman, Aviel Cohen, Nick Ferrara, Adam Lynch, Patrick Jasinski, Paul E. Black, Lin Deng

Proceedings of the 17th IEEE International Conference on Software Engineering Research, 2019

Information Exposure (IEX): A New Class in the Bugs Framework (BF).

Irena Bojanova, Yaacov Yesha, Paul E. Black, Yan Wu

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

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

Irena Bojanova, Yaacov Yesha, Paul E. Black

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2016

Defeating Buffer Overflow: A Trivial but Dangerous Bug.

Paul E. Black, Irena Bojanova

IT Prof., 2016

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

Irena Bojanova, Paul E. Black, Yaacov Yesha, Yan Wu

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2014

NIST Contributions to IT.

Paul E. Black

IT Prof., 2014

Test Generation Using Model Checking and Specification Mutation.

Paul E. Black

IT Prof., 2014

2013

Does Security Trump Reliability?

James Bret Michael, Phillip A. Laplante, Jeffery E. Payne, Paul E. Black, Jeffrey M. Voas

Computer, 2013

2012

Static Analyzers: Seat Belts for Your Code.

Paul E. Black

IEEE Secur. Priv., 2012

Juliet 1.1 C/C++ and Java Test Suite.

Tim Boland, Paul E. Black

Computer, 2012

2011

Software vulnerabilities precluded by spark.

Joyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

Counting Bugs is Harder Than You Think.

Paul E. Black

Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011

2010

Wouldn't it be nice to have software labels.

Elizabeth Fong, Paul E. Black, Richard F. Leslie, Simson L. Garfinkel, Larry Wagoner, Gary McGraw, Jeff Williams

Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, 2010

2008

Building a Test Suite for Web Application Scanners.

Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci

Proceedings of the 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), 2008

2007

Static analysis summit II.

Paul E. Black

Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

Effect of static analysis tools on software security: preliminary investigation.

Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black

Proceedings of the 3th ACM Workshop on Quality of Protection, 2007

2006

Software Assurance During Maintenance.

Paul E. Black

Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

2005

Software Assurance Metrics and Tool Evaluation.

Paul E. Black

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Software security assurance tools, techniques and metrics (SSATTM).

Paul E. Black, Michael Kass

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Comparison of fault classes in specification-based testing.

Vadim Okun, Paul E. Black, Yaacov Yesha

Inf. Softw. Technol., 2004

2002

Quantum computing and communication.

Paul E. Black, D. Richard Kuhn, Carl J. Williams

Adv. Comput., 2002

2000

Mutation Operators for Specifications.

Paul E. Black, Vadim Okun, Yaacov Yesha

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

A Specification-Based Coverage Metric to Evaluate Test Sets.

Paul Ammann, Paul E. Black

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

Using Model Checking to Generate Tests from Specifications.

Paul Ammann, Paul E. Black, William Majurski

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Formal Verification of Secure Programs in the Presence of Side Effects.

Paul E. Black, Phillip J. Windley

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Reliability of Conformance Tests.

Charles Hagwood, Raghu Kacker, James Yen, David Banks, Lynne Rosenthal, Leonard Gallagher, Paul E. Black

Proceedings of the COMPSAC '98, 1998

1997

Verifying Resilient Software.

Paul E. Black, Phillip J. Windley

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Inference Rules for Programming Languages with Side Effects in Expressions.

Paul E. Black, Phillip J. Windley

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

Autotically Synthesized Term Denotation Predicates: A Proof Aid.

Paul E. Black, Phillip J. Windley

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Queueing Analysis of Oblivious Packet-Routing Networks.

Mor Harchol-Balter, Paul E. Black

Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. 23-25 January 1994, 1994

1988

GDIST: A Distributed Configuration Control System.

Paul E. Black

Proceedings of the International Workshop on Software Version and Configuration Control, 1988