ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices. - Asokan, N.; Nyman, Thomas; Rattanavipanon, Norrathep; Sadeghi, Ahmad-Reza; Tsudik, Gene (IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 2018)