Stephen D. Crocker

62 papers A* 3A 2Journal 47Unranked 10
YearRankTypeTitle / Venue / Authors
2021 J jnl
Arpanet and Its Evolution - A Report Card.
IEEE Commun. Mag.
Stephen D. Crocker
2019 J jnl
Learning to Network.
IEEE Ann. Hist. Comput.
Stephen D. Crocker
2019 J jnl
The Arpanet and Its Impact on the State of Networking.
Computer
Stephen D. Crocker
2008 A conf
Epilogue for RFC 1281, Guidelines for the Secure Operation of the Internet.
ACSAC
Barbara Fraser, Stephen D. Crocker
2007 J jnl
DNSSEC: a protocol toward securing the internet infrastructure.
Commun. ACM
Amy Friedlander, Allison Mankin, W. Douglas Maughan, Stephen D. Crocker
2004 J jnl
Protecting the Internet from distributed denial-of-service attacks: a proposal.
Proc. IEEE
Stephen D. Crocker
1994 J jnl
Randomness Recommendations for Security.
RFC
Donald E. Eastlake III, Stephen D. Crocker, Jeffrey I. Schiller
1993 J jnl
The Process for Organization of Internet Standards Working Group (POISED).
RFC
Stephen D. Crocker
1992 — conf
Unwinding and the LOCK Proof Referees Study.
CSFW
Sandra Rawlings Murphy, Stephen D. Crocker, Timothy Redmond
1991 J jnl
Guidelines for the Secure Operation of the Internet.
RFC
Richard D. Pethia, Stephen D. Crocker, Barbara Fraser
1989 — conf
A Proposal for a Verification-Based Virus Filter.
S&P
Stephen D. Crocker, Maria Pozzo
1989 A conf
Software methodology for development of a trusted BMS: identification of critical problems.
ACSAC
Stephen D. Crocker, Emilie J. Siarkiewicz
1988 — conf
Reverification of a microprocessor.
S&P
Stephen D. Crocker, Eve Cohen, Sue Landauer, Hilarie Orman
1985 J jnl
Engineering requirements for production quality verification systems.
ACM SIGSOFT Softw. Eng. Notes
Stephen D. Crocker
1985 J jnl
SDVS: a system for verifying microcode correctness.
ACM SIGSOFT Softw. Eng. Notes
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
1984 A* conf
SDVS: A system for verifying microcode correctness.
MICRO
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
1982 — conf
Precise Information Flow Analysis by Program Verification.
S&P
Christopher Landauer, Stephen D. Crocker
1982 — conf
Verification of Concurrent Systems: Function and Timing.
PSTV
William T. Overman, Stephen D. Crocker
1981 — conf
A multiprocessor description language.
AFIPS National Computer Conference
William T. Overman, Stephen D. Crocker, Vittal Kini
1978 A* ed.
Proceedings of the 11th annual workshop on Microprogramming, MICRO 1978, Asilomar (Pacific Grove), California, USA, November 19-22, 1978
MICRO
Stephen D. Crocker, Gearold Johnson, Alice C. Parker, John Ashlstrom
1977 A* ed.
Proceedings of the 10th annual workshop on Microprogramming, MICRO 1977, Niagara Falls, New York, USA, October 5-7, 1977
MICRO
Tomlinson Gene Rauscher, Gideon Frieder, Stephen D. Crocker, Larry D. Wittie, Joe P. Dorocak, Peter J. Lutz
1972 — conf
Function-oriented protocols for the ARPA computer network.
AFIPS Spring Joint Computing Conference
Stephen D. Crocker, John F. Heafner, Robert Metcalfe, Jonathan B. Postel
1971 J jnl
Agenda for the May NWG meeting.
RFC
Stephen D. Crocker
1971 J jnl
Best Laid Plans.
RFC
Stephen D. Crocker
1971 J jnl
COMPUTER NETWORKS.
RFC
Stephen D. Crocker
1971 J jnl
Distribution of NWG/RFC's through the NIC.
RFC
Stephen D. Crocker
1971 J jnl
Exposition Style.
RFC
Stephen D. Crocker
1971 J jnl
Link 191.
RFC
Jonathan B. Postel, Stephen D. Crocker
1971 J jnl
Output of the Host-Host Protocol Glitch Cleaning Committee.
RFC
Robert D. Bressler, Stephen D. Crocker, William R. Crowther, Gary R. Grossman, Raymond S. Tomlinson, James E. White
1971 J jnl
Output of the Host-Host Protocol glitch cleaning committee.
RFC
Stephen D. Crocker
1971 J jnl
Pressure from the Chairman.
RFC
Stephen D. Crocker
1971 J jnl
Proffered Official ICP.
RFC
Stephen D. Crocker
1971 J jnl
Proposal for a Network Standard Format for a Data Stream to Control Graphics Display.
RFC
Stephen D. Crocker
1971 J jnl
Structure of the May NWG Meeting.
RFC
Stephen D. Crocker
1970 J jnl
BBN's Comments on NWG/RFC #33.
RFC
Jonathan B. Postel, Stephen D. Crocker
1970 J jnl
Documentation Conventions.
RFC
Stephen D. Crocker
1970 — conf
HOST-HOST communication protocol in the ARPA network.
AFIPS Spring Joint Computing Conference
C. Stephen Carr, Stephen D. Crocker, Vinton G. Cerf
1970 J jnl
NIC - third level ideas and other noise.
RFC
Stephen D. Crocker
1970 J jnl
Network Meeting Epilogue, etc.
RFC
Stephen D. Crocker
1970 J jnl
Network Meeting.
RFC
Stephen D. Crocker
1970 J jnl
Network Meeting.
RFC
Stephen D. Crocker
1970 J jnl
Network Working Group meeting.
RFC
Stephen D. Crocker
1970 J jnl
New Host-Host Protocol.
RFC
Stephen D. Crocker
1970 J jnl
New Protocol is Coming.
RFC
Jonathan B. Postel, Stephen D. Crocker
1970 J jnl
Note on Padding.
RFC
Stephen D. Crocker
1970 J jnl
Official Protocol Proffering.
RFC
Stephen D. Crocker, Jonathan B. Postel, John Newkirk, Mike Kraley
1970 J jnl
Official protocol mechanism.
RFC
Stephen D. Crocker
1970 J jnl
Possible protocol plateau.
RFC
Jonathan B. Postel, Stephen D. Crocker
1970 J jnl
Protocol Notes.
RFC
Stephen D. Crocker
1970 J jnl
Prototypical implementation of the NCP.
RFC
John Newkirk, Mike Kraley, Jonathan B. Postel, Stephen D. Crocker
1970 J jnl
Response to NWG/RFC 67.
RFC
Stephen D. Crocker
1970 J jnl
Updated distribution list.
RFC
Jonathan B. Postel, Stephen D. Crocker
1969 J jnl
Conversation with Bob Kahn.
RFC
Stephen D. Crocker
1969 J jnl
Documentation Conventions.
RFC
Stephen D. Crocker
1969 J jnl
Documentation Conventions.
RFC
Stephen D. Crocker
1969 J jnl
Documentation conventions.
RFC
Stephen D. Crocker
1969 J jnl
Documentation conventions.
RFC
Stephen D. Crocker
1969 J jnl
Host Software.
RFC
Stephen D. Crocker
1969 J jnl
M.I.T.
RFC
Stephen D. Crocker
1969 J jnl
No High Link Numbers.
RFC
Stephen D. Crocker
1967 — conf
Snuper computer: a computer in instrumentation automaton.
AFIPS Spring Joint Computing Conference
Gerald Estrin, D. Hopkins, B. Coggan, Stephen D. Crocker
1967 — conf
The Greenblatt chess program.
AFIPS Fall Joint Computing Conference
Richard D. Greenblatt, Donald E. Eastlake III, Stephen D. Crocker