Dependability validation of a cryptoprocessor to SEU effects | IEEE Conference Publication | IEEE Xplore