For a description of the problem to be solved take a look at this pdf.
This repository contains the source code written for the IoT device (FEZ Spider II).
A simple MQTT Gateway has been developed in order to enable secure data transmission between the board (which does not support TLS) and Amazon IoT.
A complete report of the project can be found here, while here some slides used to present it.