Implementing ECC for embedded systems using hash tabale to achieve large key size
Developing embedded systems through refined clean room software engineering methodology