Validating a High-Performance , Programmable Secure Coprocessor

  title={Validating a High-Performance , Programmable Secure Coprocessor},
  author={Sean Smith and Ron Perez},
This paper details our experiences with successfully validating a trusted device at FIPS 140-1 Level 4—earning the world’s first certificate at this highest level. Over the last several years, our group designed and built a physically secure PCI card (the IBM 4758 [5]) containing a general-purpose processor with crypto support. However, for this device to function as a trusted platform for secure coprocessor applications, we needed to establish that assurance through independent validation. We… CONTINUE READING
Highly Cited
This paper has 52 citations. REVIEW CITATIONS
35 Citations
16 References
Similar Papers


Publications citing this paper.

52 Citations

Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 16 references

FIPS 140-1 Validation: the Netscape Experience.

  • J. Hines
  • The 1998 RSA Data Security Conference
  • 1998
1 Excerpt

Derived TestRequirements for FIPS PUB 140-1

  • W. Havener, R. Medlock, R. Mitchell, R. Walcott
  • National Institute of Standards and Technology
  • 1995
1 Excerpt

Similar Papers

Loading similar papers…