PLAS: The 18th Workshop on Programming Languages and Analysis for Security

Fraser Brown; Klaus v. Gleissenthall

doi:10.1145/3576915.3624025

PLAS: The 18th Workshop on Programming Languages and Analysis for Security

Fraser Brown, Klaus v. Gleissenthall

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

6 Downloads (Pure)

Abstract

PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to future research at the intersection of programming languages and security. This year will mark the 18th iteration of PLAS, which was first held in 2007 in San Diego. We expect an exciting program and many interesting discussions.

Original language	English
Title of host publication	CCS 2023
Subtitle of host publication	Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security
Publisher	Association for Computing Machinery, Inc
Pages	3659-3659
Number of pages	1
ISBN (Electronic)	9798400700507
DOIs	https://doi.org/10.1145/3576915.3624025
Publication status	Published - Nov 2023
Event	30th ACM SIGSAC Conference on Computer and Communications Security, CCS 2023 - Copenhagen, Denmark Duration: 26 Nov 2023 → 30 Nov 2023

Conference

Conference	30th ACM SIGSAC Conference on Computer and Communications Security, CCS 2023
Country/Territory	Denmark
City	Copenhagen
Period	26/11/23 → 30/11/23

Access to Document

10.1145/3576915.3624025

PLAS_The 18th Workshop on Programming Languages and Analysis for SecurityFinal published version, 757 KBLicence: Article 25fa Dutch Copyright Act

Persistent URL (handle)

Copy link address

Cite this

@inproceedings{2279ecb75be547a08a1e6cc7214b5b6d,

title = "PLAS: The 18th Workshop on Programming Languages and Analysis for Security",

abstract = "PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to future research at the intersection of programming languages and security. This year will mark the 18th iteration of PLAS, which was first held in 2007 in San Diego. We expect an exciting program and many interesting discussions.",

author = "Fraser Brown and {v. Gleissenthall}, Klaus",

year = "2023",

month = nov,

doi = "10.1145/3576915.3624025",

language = "English",

pages = "3659--3659",

booktitle = "CCS 2023",

publisher = "Association for Computing Machinery, Inc",

note = "30th ACM SIGSAC Conference on Computer and Communications Security, CCS 2023 ; Conference date: 26-11-2023 Through 30-11-2023",

}

Brown, F & v. Gleissenthall, K 2023, PLAS: The 18th Workshop on Programming Languages and Analysis for Security. in CCS 2023: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, pp. 3659-3659, 30th ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, 26/11/23. https://doi.org/10.1145/3576915.3624025

PLAS: The 18th Workshop on Programming Languages and Analysis for Security. / Brown, Fraser; v. Gleissenthall, Klaus.
CCS 2023: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, 2023. p. 3659-3659.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - PLAS: The 18th Workshop on Programming Languages and Analysis for Security

AU - Brown, Fraser

AU - v. Gleissenthall, Klaus

PY - 2023/11

Y1 - 2023/11

N2 - PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to future research at the intersection of programming languages and security. This year will mark the 18th iteration of PLAS, which was first held in 2007 in San Diego. We expect an exciting program and many interesting discussions.

AB - PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions influential to future research at the intersection of programming languages and security. This year will mark the 18th iteration of PLAS, which was first held in 2007 in San Diego. We expect an exciting program and many interesting discussions.

UR - http://www.scopus.com/inward/record.url?scp=85179850891&partnerID=8YFLogxK

U2 - 10.1145/3576915.3624025

DO - 10.1145/3576915.3624025

M3 - Conference contribution

SP - 3659

EP - 3659

BT - CCS 2023

PB - Association for Computing Machinery, Inc

T2 - 30th ACM SIGSAC Conference on Computer and Communications Security, CCS 2023

Y2 - 26 November 2023 through 30 November 2023

ER -

PLAS: The 18th Workshop on Programming Languages and Analysis for Security

Abstract

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this