Author: Paul E. Black

Publications

Co-authors

Vadim Okun

1

Eric Dalci

1

Phillip J. Windley

2

Productive Colleagues

Phillip J. Windley

2

Elizabeth Fong

2

Vadim Okun

2

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