Hi @gc1, I'm sorry to tell that there are less of examples from RedBear to demonstrate the CC3200 features. But it should be compatible with the CC3200 launchpad board. You can find more examples from Energia or ask related questions on the Energia forum.
The CC3200 does support SSL, but I'm not sure if such APIs are exported in the Arduino convention. More professional projects I would recommend you to use the CC3200 SDK provided by TI.