Proceedings of the 3rd international workshop on Trustworthy embedded devices