selected publications academic article Defence of Embedded Systems Against Buffer Overflow Attacks via a Secure Processor Architecture 2007