Kotaro Okamoto, Naofumi Homma, Takafumi Aoki, Sumio Morioka. A hierarchical formal approach to verifying side-channel resistant cryptographic processors. In 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, HOST 2013, Arlington, VA, USA, May 6-7, 2014. pages 76-79, IEEE, 2014. [doi]
Abstract is missing.