A library for integrity verification of FIPS validated modules