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