Experimental validation of fault injection analyses by the FLIPPER tool | IEEE Conference Publication | IEEE Xplore