High-Order Conversion from Boolean to Arithmetic Masking. | AMiner