selected publications conference paper TRESCCA - Trustworthy Embedded Systems for Secure Cloud Computing. . 844-845. 2013