Verifiable Integrity And Availability For Code And Execution In Simple Embedded Systems