PLAS'20: 15thWorkshop on Programming Languages and Analysis for Security

被引：0
|
作者：
Stoughton, Alley [1 ]
Vassena, Marco [2 ]
机构：
[1] Boston Univ, Boston, MA 02215 USA
[2] CISPA Helmholtz Ctr Informat Secur, Berlin, Germany
来源：
CCS '20: PROCEEDINGS OF THE 2020 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY | 2020年
关键词：
programming languages; security;
D O I：
10.1145/3372297.3416252
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The 15th ACM SIGSACWorkshop on Programming Languages and Analysis for Security (PLAS 2020) is co-located with the 27th ACM Conference on Computer and Communications Security (ACM CCS 2020). Over its now more than ten-year history, PLAS has provided a unique forum for researchers and practitioners to exchange ideas about programming language and program analysis techniques with the goal of improving 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.
引用
收藏
页码：2151 / 2152
页数：2
相关论文
共 50 条
  • [21] Internet programming languages: Security, performance, and application to network control
    Aicklen, GH
    Anneboina, VK
    Syromyatnikov, IY
    MILCOM 96, CONFERENCE PROCEEDINGS, VOLS 1-3, 1996, : 556 - 560
  • [22] Symbolic analysis of imperative programming languages
    Burgstaller, Bernd
    Scholz, Bernhard
    Blieberger, Johann
    MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, 2006, 4228 : 172 - 194
  • [23] Incremental analysis of real programming languages
    Wagner, TA
    Graham, SL
    ACM SIGPLAN NOTICES, 1997, 32 (05) : 31 - 43
  • [24] A security feature framework for programming languages to minimize application layer vulnerabilities
    Khwaja, Amir A.
    Murtaza, Muniba
    Ahmed, Hafiz F.
    SECURITY AND PRIVACY, 2020, 3 (01):
  • [25] Smart Contract Programming Languages on Blockchains: An Empirical Evaluation of Usability and Security
    Parizi, Reza M.
    Amritraj
    Dehghantanha, Ali
    BLOCKCHAIN - ICBC 2018, 2018, 10974 : 75 - 91
  • [26] Analysis and Modeling of the Governance in General Programming Languages
    Canovas Izquierdo, Javier Luis
    Cabot, Jordi
    PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING (SLE '19), 2019, : 179 - 183
  • [27] An empirical study of developers' discussions about security challenges of different programming languages
    Croft, Roland
    Xie, Yongzheng
    Zahedi, Mansooreh
    Babar, M. Ali
    Treude, Christoph
    EMPIRICAL SOFTWARE ENGINEERING, 2022, 27 (01)
  • [28] An empirical study of developers’ discussions about security challenges of different programming languages
    Roland Croft
    Yongzheng Xie
    Mansooreh Zahedi
    M. Ali Babar
    Christoph Treude
    Empirical Software Engineering, 2022, 27
  • [29] A symbolic analysis framework for static analysis of imperative programming languages
    Burgstaller, Bernd
    Scholz, Bernhard
    Blieberger, Johann
    JOURNAL OF SYSTEMS AND SOFTWARE, 2012, 85 (06) : 1418 - 1439
  • [30] Security Risk Analysis by Logic Programming
    Zech, Philipp
    Felderer, Michael
    Breu, Ruth
    RISK ASSESSMENT AND RISK-DRIVEN TESTING, RISK 2013, 2014, 8418 : 38 - 48
12345