Invariance-Based Concurrent Error Detection for Advanced Encryption Standard. - Xiaofei Guo; Karri, Ramesh (DAC: Annual ACM/IEEE Design Automation Conference, 2012)