InterNiche/HCC Logo

Networking Protocol Software for Embedded Processors
Click Here to Contact Us via Email.
Also, consider using our Contact Form

SSL/TLS - Verifiable SSL Implementation

Verifiable SSL Product Documentation


SSL/TLS/DTLS Features - Advanced Implementation

  • SSL3.0, TLS1.0/1.1/1.2
  • Full certificate management
  • All mandatory cipher suites supported including AES, 3DES, DSS, EDH, MD5, RSA and SHA
  • Runtime memory usage between 1-36kb
  • OpenSSL compatibility layer
  • OCSP and CRL support
  • Multiple Hashing Functions
  • Memory footprint, typically around 20kB ROM / 8kB RAM.
  • much more ...
Register for More Information

For More information about InterNiche's SSL solutions for ARM, Nios-II, Cortex or other MCU architectures, please Contact Us.

Which of our SSL/TLS implementations is right for you?

InterNiche is pleased to be able to offer two different solutions for embedded designs requiring SSL capabilities. Our legacy and verifiable products implement different specifications, configuration options and licensing details. This page discusses our verifiable product, so be sure to review the legacy SSL page and discuss your requirements with Sales@iNiche.com.

Embedded Verifiable TLS/SSL Software

Our Verifiable TLS/SSL is a highly optimized software module designed to provide secure network communications for embedded devices. The software is developed using a rigorous adherence to MISRA C:2004 and is available with a full MISRA compliance report. The importance of using a strong development process and source code control has been emphasized by a number of high-profile security problems caused by source code errors. Network security requires a high degree of quality and traditional methods of ‘freestyle coding’ and test do not provide sufficient guarantees of correctness. 

Low Footprint, High Performance:

The Verifiable TLS/SSL implementation can be used as client or host and is designed especially for microcontrollers, ensuring a low memory footprint, typically around 20kB ROM / 8kB RAM. Typically it uses a standard sockets interface and will bring ease of integration to many embedded applications. HTTP Server support is provided for HTTPS and or connection to any other secure client or server application.

Beneath the Covers

Cryptographic Support
All algorithms are implemented as individual libraries and, where possible, use crypto hardware support provided on specific microcontrollers.
UML Model
In addition to a full MISRA compliance report, our Verifiable TLS/SSL is available with a full UML description that can be licensed as a separate component. We ares committed to ensuring the quality of software can be verified and used in any high quality development environment.
Target Support:
Our Verifiable TLS/SSL is the perfect complement to HCC's MISRA compliant TCP/IP stack. The stack is extensively used on a wide range of embedded platforms including most ARM Cortex-based MCUs. All projects are delivered as fully documented source code and can be optimized for performance and low footprint.