Proceedings of the 4th International Workshop on Trustworthy Embedded Devices