A New Security Proof of Practical Cryptographic Devices Based on Hardware, Software and Protocols.

An Wang, Zheng Li, Xianwen Yang, Yanyan Yu

Browse the full ISPEC paper archive.