user1501: 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.

user2076: There are some pools which allow mining through port 80, e.g. port80.btcguild.com.
But I still search for a encrypted connection through HTTPS/ port 443. Anybody?

user323: Most mining software supports connecting to a pool through any port. It is up to your pool to provide mining capabilities through the appropriate ports. I personally faced a similar problem when developing a pool implementation on Google App Engine - I only had HTTP and HTTPS ports available, and mining through them wasn't a problem.
As I doubt any mining pool would change their protocol to allow mining through HTTP ports, you can use any virtual machine to forward you mining traffic through them. For example, Amazon EC2 offers free virtual machine hosting for a year as far as I remember.

user1501: After searching and searching I found these possiblites.

Use bitminter Java client in Version 1.1.2 http://bitminter.com/client/1.1.2/bitminter.jnlp (current version doesn't work)
Make your own miner which supports proxy
Use a tool like Proxifier (I have not tested it personally, because it is commercial)
Use simpleproxy on a remote machine simpleproxy man page
Use stratumproxy.io (also supports SSL)


1501: <p>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.</p>

<p>I don't have a PC on the outside, so SSH tunnel is no option.</p>

<p>Edit:
Mining over a website could be a solution too. I tried <a href="http://www.bitcoinplus.com/" rel="nofollow">http://www.bitcoinplus.com/</a> and it worked after setting the http proxy to a correct value for Java.</p>
 2076: <p>There are some pools which allow mining through port 80, e.g. port80.btcguild.com.</p>

<p>But I still search for a encrypted connection through HTTPS/ port 443. Anybody?</p>
 323: <p>Most mining software supports connecting to a pool through any port. It is up to your pool to provide mining capabilities through the appropriate ports. I personally faced a similar problem when developing a pool implementation on Google App Engine - I only had HTTP and HTTPS ports available, and mining through them wasn't a problem.</p>

<p>As I doubt any mining pool would change their protocol to allow mining through HTTP ports, you can use any virtual machine to forward you mining traffic through them. For example, <a href="http://aws.amazon.com/ec2/" rel="nofollow">Amazon EC2</a> offers free virtual machine hosting for a year as far as I remember.</p>
 1501: <p>After searching and searching I found these possiblites.</p>
<ul>
<li>Use bitminter Java client in Version 1.1.2 <a href="http://bitminter.com/client/1.1.2/bitminter.jnlp" rel="nofollow noreferrer">http://bitminter.com/client/1.1.2/bitminter.jnlp</a> (current version doesn't work)</li>
<li>Make your own miner which supports proxy</li>
<li>Use a tool like Proxifier (I have not tested it personally, because it is commercial)</li>
<li>Use simpleproxy on a remote machine <a href="https://www.unix.com/man-page/debian/1/simpleproxy/" rel="nofollow noreferrer">simpleproxy man page</a></li>
<li>Use <a href="https://stratumproxy.io" rel="nofollow noreferrer">stratumproxy.io</a> (also supports SSL)</li>
</ul>
