Currently, there are several secure channel protocols that do not take into account the specific characteristics (e.g. processing overheads, communication buffers, etc.) of the underlying technology utilised by different devices. We have proposed several secure channel protocols that were designed specifically by taking into account all these factors. We have pioneered the security evaluation of cryptographic protocols, in particular using mechanical tools (Casper FDR, Avispa, etc.).