¿Cómo ssh sobre http proxy en Python?

Estoy adaptando un script de Python para que sea independiente del sistema operativo y se ejecute en Windows. He cambiado su sistema ssh llamadas a llamadas aparamiko funciones Estoy atascado con el problema de la autenticación de proxy http. En el entorno Unix (en realidad Cygwin) usaría ~ / .ssh / config

Host *
    ProxyCommand corkscrew http-proxy.example.com 8080 %h %p

¿Hay alguna forma de obtener el mismo utilizando paramiko (o el módulo ssh de Python) usando o no usando sacacorchos?Esta publicación Parece sugerir eso, pero no sé cómo.

Nota: estoy detrás de un firewall que me permite usar solo el puerto 80. Necesito controlar las instancias de Amazon ec2, así que configuré el servidor sshd en esas máquinas para escuchar el puerto 80. Todo funciona bien en mi prototipo cygwin + sacacorchos, pero Me gustaría tener un script en Python que funcione sin Cygwin.