Kevin Coffman

Implementation of a Provably Secure, Smartcard-Based Key Distribution Protocol

We describe the implementation of the Shoup-Rubin key distribution protocol. This protocol stores long-term keys on a smartcard and uses the cryptographic capability of the card to generate and distribute session keys securely. The designers of the protocol provide a mathematical proof of its security, using techniques pioneered by Bellare and Rogaway. Combining this theoretical strength with our implementation on tamper resistant hardware results in practical and powerful middleware functionality, useful in applications that demand strong authentication and confidentiality.

Cryptographic wiretapping at 100 megabits

This paper describes the Advanced Packet Vault, a cryptographically secured archiver of network packet data that reliably captures all packets on a 100 Mbps Ethernet network, encrypts them, and writes them to long-term magnetic tape storage for later analysis and evidentiary purposes. Based on a previous prototype, the APV provides an enhanced cryptographic organization that allows site-specific selection of the encryption format and that permits selected traffic to be made available without compromising the security of other traffic. The APV operates reliably under a continuous 100 Mbps load. We conclude with a discussion of future work necessary to scale the APV beyond 100 Mbps.

Development of a System to Provide Full, Real-time Remote Control of a Scanning Electron Microscope across the Second Generation Internet: The Teaching SEM.

The development and makeup of a real-time full remote control system for the University of Michigan, Department of Materials Science and Engineering Teaching SEM is described. The instrument was initially controlled via the campus local area Ethernet network and cable TV network. The latest implementation employs Fast Ethernet, Asynchronous Transfer Mode (ATM) networks, and moving picture experts group (MPEG) video encoding to effect the remote control via the computer network alone. Remote control demonstrations from Washington, DC, Dearborn, MI, and Emerson School, Ann Arbor, MI are described.