A modified version of TinyECC for TinyOS