Code injection attacks on harvard-architecture devices
Efficient memory safety for TinyOS