Dyad : a system for using physically secure coprocessors | Synapse