Snuper computer: a computer in instrumentation automaton. - Gerald Estrin; D. Hopkins; B. Coggan; Stephen D. Crocker (AFIPS Spring Joint Computing Conference, 1967)

The Greenblatt chess program. - Richard D. Greenblatt; Donald E. Eastlake III; Stephen D. Crocker (AFIPS Fall Joint Computing Conference, 1967)

Host Software. - Stephen D. Crocker (RFC, 1969)

Conversation with Bob Kahn. - Stephen D. Crocker (RFC, 1969)

Documentation conventions. - Stephen D. Crocker (RFC, 1969)

M.I.T. - Stephen D. Crocker (RFC, 1969)

No High Link Numbers. - Stephen D. Crocker (RFC, 1969)

HOST-HOST communication protocol in the ARPA network. - C. Stephen Carr; Stephen D. Crocker; Vinton G. Cerf (AFIPS Spring Joint Computing Conference, 1970)

New Host-Host Protocol. - Stephen D. Crocker (RFC, 1970)

Network Meeting. - Stephen D. Crocker (RFC, 1970)

Protocol Notes. - Stephen D. Crocker (RFC, 1970)

Network Meeting Epilogue, etc. - Stephen D. Crocker (RFC, 1970)

New Protocol is Coming. - Jonathan B. Postel; Stephen D. Crocker (RFC, 1970)

BBN's Comments on NWG/RFC #33. - Jonathan B. Postel; Stephen D. Crocker (RFC, 1970)

Possible protocol plateau. - Jonathan B. Postel; Stephen D. Crocker (RFC, 1970)

Official protocol mechanism. - Stephen D. Crocker (RFC, 1970)

Official Protocol Proffering. - Stephen D. Crocker; Jonathan B. Postel; John Newkirk; Mike Kraley (RFC, 1970)

Prototypical implementation of the NCP. - John Newkirk; Mike Kraley; Jonathan B. Postel; Stephen D. Crocker (RFC, 1970)

Updated distribution list. - Jonathan B. Postel; Stephen D. Crocker (RFC, 1970)

NIC - third level ideas and other noise. - Stephen D. Crocker (RFC, 1970)

Response to NWG/RFC 67. - Stephen D. Crocker (RFC, 1970)

Note on Padding. - Stephen D. Crocker (RFC, 1970)

Network Working Group meeting. - Stephen D. Crocker (RFC, 1970)

Proposal for a Network Standard Format for a Data Stream to Control Graphics Display. - Stephen D. Crocker (RFC, 1971)

Output of the Host-Host Protocol glitch cleaning committee. - Stephen D. Crocker (RFC, 1971)

Link 191. - Jonathan B. Postel; Stephen D. Crocker (RFC, 1971)

Distribution of NWG/RFC's through the NIC. - Stephen D. Crocker (RFC, 1971)

Output of the Host-Host Protocol Glitch Cleaning Committee. - Robert D. Bressler; Stephen D. Crocker; William R. Crowther; Gary R. Grossman; Raymond S. Tomlinson; James E. White (RFC, 1971)

Pressure from the Chairman. - Stephen D. Crocker (RFC, 1971)

Structure of the May NWG Meeting. - Stephen D. Crocker (RFC, 1971)

Proffered Official ICP. - Stephen D. Crocker (RFC, 1971)

Agenda for the May NWG meeting. - Stephen D. Crocker (RFC, 1971)

Best Laid Plans. - Stephen D. Crocker (RFC, 1971)

Exposition Style. - Stephen D. Crocker (RFC, 1971)

COMPUTER NETWORKS. - Stephen D. Crocker (RFC, 1971)

Function-oriented protocols for the ARPA computer network. - Stephen D. Crocker; John F. Heafner; Robert Metcalfe; Jonathan B. Postel (AFIPS Spring Joint Computing Conference, 1972)

A multiprocessor description language. - William T. Overman; Stephen D. Crocker; Vittal Kini (AFIPS National Computer Conference, 1981)

Verification of Concurrent Systems: Function and Timing. - William T. Overman; Stephen D. Crocker (PSTV, 1982)

Precise Information Flow Analysis by Program Verification. - Christopher Landauer; Stephen D. Crocker (S&P, 1982)

Engineering requirements for production quality verification systems. - Stephen D. Crocker (ACM SIGSOFT Softw. Eng. Notes, 1985)

SDVS: a system for verifying microcode correctness. - Leo Marcus; Stephen D. Crocker; Jaisook Landauer (ACM SIGSOFT Softw. Eng. Notes, 1985)

Reverification of a microprocessor. - Stephen D. Crocker; Eve Cohen; Sue Landauer; Hilarie Orman (S&P, 1988)

Software methodology for development of a trusted BMS: identification of critical problems. - Stephen D. Crocker; Emilie J. Siarkiewicz (ACSAC, 1989)

A Proposal for a Verification-Based Virus Filter. - Stephen D. Crocker; Maria Pozzo (S&P, 1989)

Guidelines for the Secure Operation of the Internet. - Richard D. Pethia; Stephen D. Crocker; Barbara Fraser (RFC, 1991)

Unwinding and the LOCK Proof Referees Study. - Sandra Rawlings Murphy; Stephen D. Crocker; Timothy Redmond (CSFW, 1992)

The Process for Organization of Internet Standards Working Group (POISED). - Stephen D. Crocker (RFC, 1993)

Randomness Recommendations for Security. - Donald E. Eastlake III; Stephen D. Crocker; Jeffrey I. Schiller (RFC, 1994)

Protecting the Internet from distributed denial-of-service attacks: a proposal. - Stephen D. Crocker (Proc. IEEE, 2004)

DNSSEC: a protocol toward securing the internet infrastructure. - Amy Friedlander; Allison Mankin; W. Douglas Maughan; Stephen D. Crocker (Commun. ACM, 2007)

Epilogue for RFC 1281, Guidelines for the Secure Operation of the Internet. - Barbara Fraser; Stephen D. Crocker (ACSAC, 2008)

Learning to Network. - Stephen D. Crocker (IEEE Ann. Hist. Comput., 2019)

The Arpanet and Its Impact on the State of Networking. - Stephen D. Crocker (Computer, 2019)

Arpanet and Its Evolution - A Report Card. - Stephen D. Crocker (IEEE Commun. Mag., 2021)