Playing Engineering Secure Systems with Hardware Security Modules - Richard Johnson