Shuichi Ichikawa Takashi Sawada Hisashi Hata Diversification of Processors Based on Redundancy in Instruction Set. 211-220 2008 91-A IEICE Transactions 1 http://dx.doi.org/10.1093/ietfec/e91-a.1.211 db/journals/ieicet/ieicet91a.html#IchikawaSH08