Proceedings of the fourth international workshop on Software engineering for secure systems
ACM Digital Library