Paul E. Black

37 papers A* 3B 1C 4Journal 12Unranked 17
YearRankTypeTitle / Venue / Authors
2021 J jnl
Algorithms and Data Structures for New Models of Computation.
IT Prof.
Paul E. Black, David W. Flater, Irena Bojanova
2021 — conf
Blockchain Smart Contracts Static Analysis for Software Assurance.
SAI (2)
Suzanna Schmeelk, Bryan Rosado, Paul E. Black
2021 J jnl
Guidelines on Minimum Standards for Developer Verification of Software.
CoRR
Paul E. Black, Barbara Guttman, Vadim Okun
2019 C conf
Classification of Smart Contract Bugs Using the NIST Bugs Framework.
SERA
Wesley Dingman, Aviel Cohen, Nick Ferrara, Adam Lynch, Patrick Jasinski, Paul E. Black, Lin Deng
2019 J jnl
Defects and Vulnerabilities in Smart Contracts, a Classification using the NIST Bugs Framework.
Int. J. Networked Distributed Comput.
Wesley Dingman, Aviel Cohen, Nick Ferrara, Adam Lynch, Patrick Jasinski, Paul E. Black, Lin Deng
2019 — conf
Information Exposure (IEX): A New Class in the Bugs Framework (BF).
COMPSAC (1)
Irena Bojanova, Yaacov Yesha, Paul E. Black, Yan Wu
2019 J jnl
Opaque Wrappers and Patching: Negative Results.
Computer
Paul E. Black, Monika Singh
2019 — conf
TOOLympics 2019: An Overview of Competitions in Formal Methods.
TACAS (3)
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
2018 — conf
Randomness Classes in Bugs Framework (BF): True-Random Number Bugs (TRN) and Pseudo-Random Number Bugs (PRN).
COMPSAC (1)
Irena Bojanova, Yaacov Yesha, Paul E. Black
2016 J jnl
Defeating Buffer Overflow: A Trivial but Dangerous Bug.
IT Prof.
Paul E. Black, Irena Bojanova
2016 C conf
The Bugs Framework (BF): A Structured Approach to Express Bugs.
QRS
Irena Bojanova, Paul E. Black, Yaacov Yesha, Yan Wu
2014 J jnl
NIST Contributions to IT.
IT Prof.
Paul E. Black
2014 J jnl
Test Generation Using Model Checking and Specification Mutation.
IT Prof.
Paul E. Black
2013 J jnl
Does Security Trump Reliability?
Computer
James Bret Michael, Phillip A. Laplante, Jeffery E. Payne, Paul E. Black, Jeffrey M. Voas
2012 J jnl
Juliet 1.1 C/C++ and Java Test Suite.
Computer
Tim Boland, Paul E. Black
2012 J jnl
Static Analyzers: Seat Belts for Your Code.
IEEE Secur. Priv.
Paul E. Black
2011 C conf
Counting Bugs is Harder Than You Think.
SCAM
Paul E. Black
2011 — conf
Software vulnerabilities precluded by spark.
SIGAda
Joyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka
2010 — conf
Wouldn't it be nice to have software labels.
SIGAda
Elizabeth Fong, Paul E. Black, Richard F. Leslie, Simson L. Garfinkel, Larry Wagoner, Gary McGraw, Jeff Williams
2008 — conf
Building a Test Suite for Web Application Scanners.
HICSS
Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci
2007 — conf
Effect of static analysis tools on software security: preliminary investigation.
QoP
Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black
2007 — conf
Static analysis summit II.
SIGAda
Paul E. Black
2006 — conf
Software Assurance During Maintenance.
ICSM
Paul E. Black
2005 — conf
Software Assurance Metrics and Tool Evaluation.
Software Engineering Research and Practice
Paul E. Black
2005 A* conf
Software security assurance tools, techniques and metrics (SSATTM).
ASE
Paul E. Black, Michael Kass
2004 J jnl
Comparison of fault classes in specification-based testing.
Inf. Softw. Technol.
Vadim Okun, Paul E. Black, Yaacov Yesha
2002 J jnl
Quantum computing and communication.
Adv. Comput.
Paul E. Black, D. Richard Kuhn, Carl J. Williams
2000 A* conf
Mutation Operators for Specifications.
ASE
Paul E. Black, Vadim Okun, Yaacov Yesha
1999 — conf
A Specification-Based Coverage Metric to Evaluate Test Sets.
HASE
Paul Ammann, Paul E. Black
1998 — conf
Formal Verification of Secure Programs in the Presence of Side Effects.
HICSS (3)
Paul E. Black, Phillip J. Windley
1998 B conf
Reliability of Conformance Tests.
COMPSAC
Charles Hagwood, Raghu Kacker, James Yen, David Banks, Lynne Rosenthal, Leonard Gallagher, Paul E. Black
1998 C conf
Using Model Checking to Generate Tests from Specifications.
ICFEM
Paul Ammann, Paul E. Black, William Majurski
1997 — conf
Verifying Resilient Software.
HICSS (5)
Paul E. Black, Phillip J. Windley
1996 — conf
Inference Rules for Programming Languages with Side Effects in Expressions.
TPHOLs
Paul E. Black, Phillip J. Windley
1995 — conf
Autotically Synthesized Term Denotation Predicates: A Proof Aid.
TPHOLs
Paul E. Black, Phillip J. Windley
1994 A* conf
Queueing Analysis of Oblivious Packet-Routing Networks.
SODA
Mor Harchol-Balter, Paul E. Black
1988 — conf
GDIST: A Distributed Configuration Control System.
SCM
Paul E. Black