@misc{cryptoeprint:2012:552, author = {Xiaofei Guo, Debdeep Mukhopadhyay and Ramesh Karri}, title = {Provably Secure Concurrent Error Detection Against Differential Fault Analysis}, howpublished = {Cryptology ePrint Archive, Report 2012/552}, year = {2012}, url = {http://eprint.iacr.org/2012/552}, }