¿Cómo obtener HTTPS en Arduino?

En pocas palabras: ¿hay alguna manera de obtener una conexión HTTPS en el Arduino? Lo he estado investigando y he descubierto que es imposible con la biblioteca estándar y el escudo de Ethernet, pero ¿hay una biblioteca personalizada que pueda hacerlo? ¿Qué pasa con un coprocesador, es decir,...