PLAS 2012 - ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012)
Website www.doc.ic.ac.uk/PLAS2012 |
Printer Friendly |
Edit Freely
Category plas 2012;
Deadline: March 02, 2012 | Date: June 14, 2012
Venue/Country: Beijing / China
Updated: 2011-10-18 14:23:48 (GMT+9)
Call For Papers - CFP
ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security(PLAS 2012)Beijing, China June 14, 2012Co-located with PLDI 2012Important DatesSubmissions due: March 2, 2012.Author notification: April 4, 2012.PLAS 2012 workshop: June 14, 2012.Call For PapersPLAS aims to provide a forum for exploring and evaluating ideas on the use of programming language and program analysis techniques to improve the security of software systems. Strongly encouraged are proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and important problems.The scope of PLAS includes, but is not limited to:Compiler-based security mechanisms or runtime-based security mechanisms such as inline reference monitorsProgram analysis techniques for discovering security vulnerabilitiesAutomated introduction and/or verification of security enforcement mechanismsLanguage-based verification of security properties in software, including verification of cryptographic protocolsSpecifying and enforcing security policies for information flow and access controlModel-driven approaches to securitySecurity concerns for web programming languagesLanguage design for security in new domains such as cloud computing and embedded platformsApplications, case studies, and implementations of these techniquesProgram CommitteeSruthi Bandhakavi (Google Inc.)Avik Chaudhuri (Adobe Systems)Stephen Chong (Harvard University)Yuxin Deng (Shanghai Jiao Tong University)Feng Dengguo (Chinese Academy of Sciences)Marieke Huisman (University of Twente, Netherlands)Sergio Maffeis (Imperial College London) [co-chair]Prasad Naldurg (Microsoft Research India)Marco Pistoia (IBM T. J. Watson Research Center)Tamara Rezk (INRIA) [co-chair]David Sands (Chalmers University)Zhong Shao (Yale University)Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.