Programming Languages and Analysis for Security (PLAS)

PLAS is an annual ACM SIGPLAN Workshop that focuses on the use of programming-language and program-analysis techniques to improve the security of software systems.