I don't know about the spec, but in practice, you never get the referer data even when traffic flows from HTTPS to HTTPS.
Clients SHOULD NOT include a Referer header field in a (non-secure)
HTTP request if the referring page was transferred with a secure
protocol.
[0] http://tools.ietf.org/html/rfc2616#section-15.1.3