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 条

[1] Workshop on programming languages and analysis for security (PLAS 2008)
IBM T. J. Watson Research Center
不详
ACM SIGPLAN Not., 2008, 12 (3-4):
[2] Workshop on Programming Languages and Analysis for Security (PLAS 2008)
Pistoia, Marco
Erlingsson, Ulfar
ACM SIGPLAN NOTICES, 2008, 43 (12) : 3 - 4
[3] Workshop on Programming Languages and Analysis for Security (PLAS 2008) Abstracts
不详
ACM SIGPLAN NOTICES, 2008, 43 (12) : 5 - 8
[4] PLAS: The 18th Workshop on Programming Languages and Analysis for Security
Brown, Fraser
Gleissenthall, Klaus V.
PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 3659 - 3659
[5] PLAS 2019-ACM SIGSAC Workshop on Programming Languages and Analysis for Security
Mardziel, Piotr
Vazou, Niki
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 2715 - 2715
[6] PLAS 2017-ACM SIGSAC Workshop on Programming Languages and Analysis for Security
Bielova, Nataliia
Gaboardi, Marco
CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2017, : 2639 - 2640
[7] PLAS 2018-ACM SIGSAC Workshop on Programming Languages and Analysis for Security
Alvim, Mario S.
Delaune, Stephanie
PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18), 2018, : 2178 - 2179
[8] PLAS'16-ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security
Murray, Toby
Stefan, Deian
CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2016, : 1870 - 1870
[9] Proceedings of the ACM SIGPLAN 5th Workshop on Programming Languages and Analysis for Security, PLAS 2010: Preface
Banerjee, Anindya
Garg, Deepak
Proceedings of the ACM SIGPLAN 5th Workshop on Programming Languages and Analysis for Security, PLAS 2010, 2010,
[10] PLAS'09 - Proceedings of the ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security: Foreword
Chong, Stephen
Naumann, David
PLAS'09 - Proceedings of the ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security, 2009,

← 1 2 3 4 5 →