Hello,
JoomSEF works independently on the protocol, so it does not matter if you are using http or https. It is just the matter of how you make Joomla to switch from http to https and back.
JoomSEF uses protocol based on what is currently set Joomla!s $mosConfig_live_site.
Best regards,
ARTIO Support Team