Sign for Notice Everyday    Sign Up| Sign In| Link| English|

Our Sponsors


    PLAS 2012 - ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012)

    View: 722

    Website www.doc.ic.ac.uk/PLAS2012 | Want to Edit it 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, 2012

    Co-located with PLDI 2012

    Important Dates

    Submissions due: March 2, 2012.

    Author notification: April 4, 2012.

    PLAS 2012 workshop: June 14, 2012.

    Call For Papers

    PLAS 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 monitors

    Program analysis techniques for discovering security vulnerabilities

    Automated introduction and/or verification of security enforcement mechanisms

    Language-based verification of security properties in software, including verification of cryptographic protocols

    Specifying and enforcing security policies for information flow and access control

    Model-driven approaches to security

    Security concerns for web programming languages

    Language design for security in new domains such as cloud computing and embedded platforms

    Applications, case studies, and implementations of these techniques

    Program Committee

    Sruthi 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.