hannestschofenig Merge pull request #4 from suit-wg/cek_verification