Tools for the validation of conditional access functions in Eurocrypt | IET Conference Publication | IEEE Xplore