Title: Design Methodologies for Secure Embedded Systems