Proceedings of the 4th Workshop on Embedded Systems Security