Stephen D. Crocker

Publication Activity (10 Years)

Years Active: 1967-2021
Publications (10 Years): 3

Top Topics

Learning Scheme

Connectionist Networks

Temporal Evolution

Top Venues

IEEE Ann. Hist. Comput.

IEEE Commun. Mag.

Publications

Stephen D. Crocker
Arpanet and Its Evolution - A Report Card. IEEE Commun. Mag. 59 (12) (2021)
Stephen D. Crocker
The Arpanet and Its Impact on the State of Networking. Computer 52 (10) (2019)
Stephen D. Crocker, David C. Walden
Learning to Network. IEEE Ann. Hist. Comput. 41 (2) (2019)
Barbara Fraser, Stephen D. Crocker
Epilogue for RFC 1281, Guidelines for the Secure Operation of the Internet. ACSAC (2008)
Amy Friedlander, Allison Mankin, W. Douglas Maughan, Stephen D. Crocker
DNSSEC: a protocol toward securing the internet infrastructure. Commun. ACM 50 (6) (2007)
Stephen D. Crocker
Protecting the Internet from distributed denial-of-service attacks: a proposal. Proc. IEEE 92 (9) (2004)
Donald E. Eastlake III, Stephen D. Crocker, Jeffrey I. Schiller
Randomness Recommendations for Security. RFC 1750 (1994)
Stephen D. Crocker
The Process for Organization of Internet Standards Working Group (POISED). RFC 1396 (1993)
Sandra Rawlings Murphy, Stephen D. Crocker, Timothy Redmond
Unwinding and the LOCK Proof Referees Study. CSFW (1992)
Richard D. Pethia, Stephen D. Crocker, Barbara Fraser
Guidelines for the Secure Operation of the Internet. RFC 1281 (1991)
Stephen D. Crocker, Emilie J. Siarkiewicz
Software methodology for development of a trusted BMS: identification of critical problems. ACSAC (1989)
Stephen D. Crocker, Maria Pozzo
A Proposal for a Verification-Based Virus Filter. IEEE Symposium on Security and Privacy (1989)
Stephen D. Crocker, Eve Cohen, Sue Landauer, Hilarie Orman
Reverification of a microprocessor. IEEE Symposium on Security and Privacy (1988)
Stephen D. Crocker
Engineering requirements for production quality verification systems. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
SDVS: a system for verifying microcode correctness. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
SDVS: A system for verifying microcode correctness. MICRO (1984)
William T. Overman, Stephen D. Crocker
Verification of Concurrent Systems: Function and Timing. PSTV (1982)
Christopher Landauer, Stephen D. Crocker
Precise Information Flow Analysis by Program Verification. IEEE Symposium on Security and Privacy (1982)
William T. Overman, Stephen D. Crocker, Vittal Kini
A multiprocessor description language. AFIPS National Computer Conference (1981)
Stephen D. Crocker, John F. Heafner, Robert Metcalfe, Jonathan B. Postel
Function-oriented protocols for the ARPA computer network. AFIPS Spring Joint Computing Conference (1972)
Stephen D. Crocker
Proffered Official ICP. RFC 123 (1971)
Stephen D. Crocker
Best Laid Plans. RFC 149 (1971)
Stephen D. Crocker
Pressure from the Chairman. RFC 111 (1971)
Stephen D. Crocker
Exposition Style. RFC 154 (1971)
Jonathan B. Postel, Stephen D. Crocker
Link 191. RFC 104 (1971)
Robert D. Bressler, Stephen D. Crocker, William R. Crowther, Gary R. Grossman, Raymond S. Tomlinson, James E. White
Output of the Host-Host Protocol Glitch Cleaning Committee. RFC 107 (1971)
Stephen D. Crocker
Distribution of NWG/RFC's through the NIC. RFC 95 (1971)
Stephen D. Crocker
Structure of the May NWG Meeting. RFC 116 (1971)
Stephen D. Crocker
Output of the Host-Host Protocol glitch cleaning committee. RFC 102 (1971)
Stephen D. Crocker
COMPUTER NETWORKS. RFC 169 (1971)
Stephen D. Crocker
Proposal for a Network Standard Format for a Data Stream to Control Graphics Display. RFC 86 (1971)
Stephen D. Crocker
Agenda for the May NWG meeting. RFC 140 (1971)
Stephen D. Crocker
Official protocol mechanism. RFC 53 (1970)
Jonathan B. Postel, Stephen D. Crocker
BBN's Comments on NWG/RFC #33. RFC 47 (1970)
Stephen D. Crocker
Network Meeting Epilogue, etc. RFC 37 (1970)
C. Stephen Carr, Stephen D. Crocker, Vinton G. Cerf
HOST-HOST communication protocol in the ARPA network. AFIPS Spring Joint Computing Conference (1970)
Jonathan B. Postel, Stephen D. Crocker
Updated distribution list. RFC 52 (1970)
Jonathan B. Postel, Stephen D. Crocker
New Protocol is Coming. RFC 45 (1970)
Stephen D. Crocker
Response to NWG/RFC 67. RFC 73 (1970)
Stephen D. Crocker
Network Working Group meeting. RFC 85 (1970)
Jonathan B. Postel, Stephen D. Crocker
Possible protocol plateau. RFC 48 (1970)
Stephen D. Crocker
Network Meeting. RFC 75 (1970)
Stephen D. Crocker, Jonathan B. Postel, John Newkirk, Mike Kraley
Official Protocol Proffering. RFC 54 (1970)
Stephen D. Crocker
Protocol Notes. RFC 36 (1970)
Stephen D. Crocker
Documentation Conventions. RFC 30 (1970)
Stephen D. Crocker
NIC - third level ideas and other noise. RFC 66 (1970)
John Newkirk, Mike Kraley, Jonathan B. Postel, Stephen D. Crocker
Prototypical implementation of the NCP. RFC 55 (1970)
Stephen D. Crocker
New Host-Host Protocol. RFC 33 (1970)
Stephen D. Crocker
Note on Padding. RFC 70 (1970)
Stephen D. Crocker
Network Meeting. RFC 35 (1970)
Stephen D. Crocker
No High Link Numbers. RFC 25 (1969)
Stephen D. Crocker
M.I.T. RFC 16 (1969)
Stephen D. Crocker
Documentation conventions. RFC 10 (1969)
Stephen D. Crocker
Documentation Conventions. RFC 27 (1969)
Stephen D. Crocker
Documentation conventions. RFC 3 (1969)
Stephen D. Crocker
Conversation with Bob Kahn. RFC 6 (1969)
Stephen D. Crocker
Host Software. RFC 1 (1969)
Stephen D. Crocker
Documentation Conventions. RFC 24 (1969)
Gerald Estrin, D. Hopkins, B. Coggan, Stephen D. Crocker
Snuper computer: a computer in instrumentation automaton. AFIPS Spring Joint Computing Conference (1967)
Richard D. Greenblatt, Donald E. Eastlake III, Stephen D. Crocker
The Greenblatt chess program. AFIPS Fall Joint Computing Conference (1967)