FWIW CyanogenMod has just released 10.1.1 and 10.1.2 which incorporate "Master Key" security-bug fixes:
http://www.cyanogenmod.org/blog.
I'd recommend upgrading to HD+ builds that are sync'ed up with CM10 nightlies and released in the last day or so.