Proceedings of the 4th International Workshop on Trustworthy Embedded Devices
ACM Digital Library