Stephen D. Crocker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1982–2008
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ACSAC | Epilogue for RFC 1281, Guidelines for the Secure Operation of the Internet. | Barbara Fraser, Stephen D. Crocker |
| 1989 | ACSAC | Software methodology for development of a trusted BMS: identification of critical problems. | Stephen D. Crocker, Emilie J. Siarkiewicz |
| 1989 | SP | A Proposal for a Verification-Based Virus Filter. | Stephen D. Crocker, Maria Pozzo |
| 1988 | SP | Reverification of a microprocessor. | Stephen D. Crocker, Eve Cohen, Sue Landauer, Hilarie Orman |
| 1984 | MICRO | SDVS: A system for verifying microcode correctness. | Leo Marcus, Stephen D. Crocker, Jaisook Landauer |
| 1982 | SP | Precise Information Flow Analysis by Program Verification. | Christopher Landauer, Stephen D. Crocker |