Program Analysis for Security and Privacy

Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When security problems arise, understanding and correcting them can be very challenging. On the one hand, the program analysis research community has created numerous static and dynamic analysis tools for performance optimization and bug detection in object-oriented programs. On the other hand, the security and privacy research community has been looking for solutions to automatically detect security problems, privacy violations, and access-control requirements of object-oriented programs. The purpose of the First Program Analysis for Security and Safety Workshop Discussion (PASSWORD 2006), co-located with the Twentieth European Conference on ObjectOriented Programming (ECOOP 2006), was to bring together members of the academic and industrial communities interested in applying analysis, testing, and verification to...

• Type: Conference
• Year: 2006
• Where: ECOOPW
• Authors: Marco Pistoia, Francesco Logozzo
• Keywords: Distributed And Parallel Computing, ECOOPW 2006, Program Analysis, Security, Security Problems