Collecting ideas and code for a secure HID proxy between a USB device and a possibly compromised computer.