Author: Paul E. Black
Publication Overview
Publication period start: 2008
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Black,
Paul E.,
Windley,
Phillip J.
(1997):
Verifying Resilient Software.
In:
HICSS 1997
,
1997,
.
pp. 262-266.
https://csdl.computer.org/comp/proceedings/hicss/1997/7734/05/7734050262abs.htm
Black,
Paul E.,
Windley,
Phillip J.
(1998):
Formal Verification of Secure Programs in the Presence of Side Effects.
In:
HICSS 1998
,
1998,
.
pp. 327-.
https://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390327abs.htm
Fong,
Elizabeth,
Gaucher,
Romain,
Okun,
Vadim,
Black,
Paul E.,
Dalci,
Eric
(2008):
Building a Test Suite for Web Application Scanners.
In:
HICSS 2008 - 41st Hawaii International International Conference on Systems Science
7-10 January,
2008,
Waikoloa, Big Island, HI, USA.
pp. 478.
https://doi.ieeecomputersociety.org/10.1109/HICSS.2008.79