Stephen Doxsee

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Publications

Stephen Doxsee, William B. Gardner
Synthesis of C++ software for automated teller from CSPm specifications. SAC (2005)
Stephen Doxsee, William B. Gardner
Software from Verifiable CSPm Specifications. ECBS (2005)
Charlie Obimbo, Stephen Doxsee
The Threat of a Deterministic Polynomial Time Algorithm for Primality Testing in Applied Cryptography. MSV/AMCS (2004)