For anyone interested, it looks like HDCP has been broken on pure crypto grounds [1]. As much as I agree that this type of DRM is fundamentally not possible, I'm still kind of surprised that their was a direct attack on the crypto.
[1] http://www.cs.rice.edu/~scrosby/pubs/hdcppaper.ps