On the difficulty of software-based attestation of embedded devices
Efficient memory safety for TinyOS