BitKey: A secure, Debian-based Live OS for bitcoin transactions