вроде там изначально уже HTTPS, не? или они даются прям чистыми вдсками и надо самому делать прям что-то для этого?
Ну либо свой сертификат делать, либо запрашивать у авс (бесплатно дают как я понял) ну и настраивать сервер руками чтобы на 443 порту слушал. Ну и руками же его открыть в настройках секьюрити групп