I have a very restrictive firewall with an additional proxy here. Is there a GPU mining tool out there that supports proxy server? The best would be a SSL connection to the mining pool. A long living stream also doesn't work I think, because Internet radio is not possible.
I don't have a PC on the outside, so SSH tunnel is no option.
Edit: Mining over a website could be a solution too. I tried http://www.bitcoinplus.com/ and it worked after setting the http proxy to a correct value for Java.