Implementing SHAKEN Cover