AutoFault: Towards Automatic Construction of Algebraic Fault Attacks | IEEE Conference Publication | IEEE Xplore