Improving DES coprocessor throughput for short operationsMark LindemannSean W. Smith2001USENIX Security 2001
Building a high-performance, programmable secure coprocessorSean W. SmithSteve Weingart1999Computer Networks
Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure CoprocessorsSean W. SmithVernon Austel1998USENIX EC 1998
Minimizing timestamp size for completely asynchronous optimistic recovery with minimal rollbackSean W. SmithDavid B. Johnson1996SRDS 1996