Title: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security