Proceedings of the Third International Workshop on Software Engineering for Secure Systems
ACM Digital Library