16 May
2025
16 May
'25
9:59 a.m.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Call for papers
PLAS 2025 <http://plas25.github.io>(co-located with CCS '25)
Taipei, Taiwan
13th October, 2025
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
TL;DR: Submission Deadline: June 20, 2025 AoE
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Overview
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
The Workshop on Programming Languages and Analysis for Security (PLAS)
explores the use of programming language and program analysis techniques to
improve software security across compilers, machine learning models, and
smart contracts. It promotes speculative, forward-looking ideas and
insightful discussions at the intersection of programming languages and
security.
The 20th Workshop on Programming Languages and Analysis for Security (PLAS
2025) <http://plas25.github.io> will be held on the 13th of October, 2025,
co-located with CCS 2025 in Taipei, Taiwan.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Submission Guidelines
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
The workshop has no formal published proceedings; hence, we encourage the
submission of papers that are likely to generate lively discussion as well
as papers covering ongoing and future work. Presenting a paper at the
workshop does not preclude submission to or publication in other venues
that are before, concurrent, or after the workshop. Papers presented at the
workshop will be made available to workshop participants only.
We invite both short papers and long papers.
Full papers: There is no page limit on long papers. Papers in this category
are expected to have relatively mature content. Papers that present
promising preliminary and exploratory work, or recently published work are
particularly welcome in this category. Long papers may receive longer talk
slots at the workshop than short papers, depending on the number of
accepted submissions.
Short papers: should be at most 2 pages long, plus as many pages as needed
for references. Papers that present radical, open-ended and forward-looking
ideas are particularly welcome in this category. Authors submitting papers
in this category must prepend the phrase "Short Paper:" to the title of the
submitted paper.
There is no restriction on paper format other than the page limits stated
above.
A non-exhaustive list of topics for the workshop is:
- Side-channel vulnerability detection and elimination
- Verification techniques applied to adversarial learning and smart
contracts
- Software isolation (e.g., SFI, sandboxing)
- Compiler/runtime-based hardening and monitoring
- Program analysis, binary analysis, and fuzzing
- Security enforcement mechanisms
- Cryptographic protocol verification
- Information flow and access control
- Security in web, IoT, and cloud programming languages
Submissions will be made (in PDF format) via the following website:
https://plas25.hotcrp.com.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Important Dates
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Paper submission:
*June 20, 2025 AoE*Author notification: August 8, 2025
Workshop date: October 13, 2025
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Program Committee
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Amir Ahmadian (KTH, Sweden)
Sebastien Bardin (CEA, France)
Abhishek Bichhawat (IIT Gandhinagar, India) (co-chair)
Ferhat Erata (Yale, USA)
Jana Hofmann (MPI-SP, Germany) (co-chair)
Adrien Koutsos (Inria, France)
McKenna McCall (Carnegie Mellon University, USA)
Toby Murray (University of Melbourne, Australia)
Sabine Oechsner (VU Amsterdam, Netherlands)
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Contact
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
For more information, please refer to plas25.github.io or email us at
abhishek.b(a)iitgn.ac.in and jana.hofmann(a)mpi-sp.org
Best Regards,
Jana and Abhishek
11 Jun
11 Jun
11:34 a.m.
New subject: Second call for papers: PLAS @ CCS '25
------------------------------------------------------------------------------------------------------------------------------
Second call for papers
PLAS 2025 <http://plas25.github.io>(co-located with CCS '25)
Taipei, Taiwan
13th October, 2025
------------------------------------------------------------------------------------------------------------------------------
TL;DR: Submission Deadline: June 20, 2025 AoE
------------------------------------------------------------------------------------------------------------------------------
Overview
------------------------------------------------------------------------------------------------------------------------------
The Workshop on Programming Languages and Analysis for Security (PLAS)
explores the use
of programming language and program analysis techniques to improve software
security
across compilers, machine learning models, and smart contracts. It promotes
speculative,
forward-looking ideas and insightful discussions at the intersection of
programming languages and security.
The 20th Workshop on Programming Languages and Analysis for Security (PLAS
2025) <http://plas25.github.io> will
be held on the 13th of October, 2025, co-located with CCS 2025 in Taipei,
Taiwan.
------------------------------------------------------------------------------------------------------------------------------
Submission Guidelines
------------------------------------------------------------------------------------------------------------------------------
The workshop has no formal published proceedings; hence, we encourage the
submission of
papers that are likely to generate lively discussion as well as papers
covering ongoing and
future work. Presenting a paper at the workshop does not preclude
submission to or
publication in other venues that are before, concurrent, or after the
workshop. Papers
presented at the workshop will be made available to workshop participants
only.
We invite both short papers and long papers.
Full papers: There is no page limit on long papers. Papers in this category
are expected to
have relatively mature content. Papers that present promising preliminary
and exploratory
work, or recently published work are particularly welcome in this category.
Long papers may
receive longer talk slots at the workshop than short papers, depending on
the number of
accepted submissions.
Short papers: should be at most 2 pages long, plus as many pages as needed
for references.
Papers that present radical, open-ended and forward-looking ideas are
particularly welcome in
this category. Authors submitting papers in this category must prepend the
phrase
"Short Paper:" to the title of the submitted paper.
There is no restriction on paper format other than the page limits stated
above.
A non-exhaustive list of topics for the workshop is:
Side-channel vulnerability detection and elimination
Verification techniques applied to adversarial learning and smart contracts
Software isolation (e.g., SFI, sandboxing)
Compiler/runtime-based hardening and monitoring
Program analysis, binary analysis, and fuzzing
Security enforcement mechanisms
Cryptographic protocol verification
Information flow and access control
Security in web, IoT, and cloud programming languages
Submissions will be made (in PDF format) via the following website:
https://plas25.hotcrp.com.
------------------------------------------------------------------------------------------------------------------------------
Important Dates
------------------------------------------------------------------------------------------------------------------------------
Paper submission: *June 20, 2025 AoE*
Author notification: August 8, 2025
Workshop date: October 13, 2025
------------------------------------------------------------------------------------------------------------------------------
Program Committee
------------------------------------------------------------------------------------------------------------------------------
Amir Ahmadian (KTH, Sweden)
Sebastien Bardin (CEA, France)
Abhishek Bichhawat (IIT Gandhinagar, India) (co-chair)
Ferhat Erata (Yale, USA)
Jana Hofmann (MPI-SP, Germany) (co-chair)
Adrien Koutsos (Inria, France)
McKenna McCall (Carnegie Mellon University, USA)
Toby Murray (University of Melbourne, Australia)
Sabine Oechsner (VU Amsterdam, Netherlands)
------------------------------------------------------------------------------------------------------------------------------
Contact
------------------------------------------------------------------------------------------------------------------------------
For more information, please refer to plas25.github.io or
email us at abhishek.b(a)iitgn.ac.in and jana.hofmann(a)mpi-sp.org
Best Regards,
Jana and Abhishek
20 Jun
20 Jun
11:16 a.m.
New subject: Deadline extended for PLAS @ CCS '25
-----------------------------------------------------------------------------------------------------------------------------
Call for papers - Extended deadline
PLAS 2025 <http://plas25.github.io>(co-located with CCS '25)
Taipei, Taiwan
13th October, 2025
------------------------------------------------------------------------------------------------------------------------------
TL;DR: Submission Deadline (extended): June 30, 2025 AoE
------------------------------------------------------------------------------------------------------------------------------
Overview
------------------------------------------------------------------------------------------------------------------------------
The Workshop on Programming Languages and Analysis for Security (PLAS)
explores the use
of programming language and program analysis techniques to improve software
security
across compilers, machine learning models, and smart contracts. It promotes
speculative,
forward-looking ideas and insightful discussions at the intersection of
programming languages and security.
The 20th Workshop on Programming Languages and Analysis for Security (PLAS
2025) <http://plas25.github.io> will
be held on the 13th of October, 2025, co-located with CCS 2025 in Taipei,
Taiwan.
------------------------------------------------------------------------------------------------------------------------------
Submission Guidelines
------------------------------------------------------------------------------------------------------------------------------
The workshop has no formal published proceedings; hence, we encourage the
submission of
papers that are likely to generate lively discussion as well as papers
covering ongoing and
future work. Presenting a paper at the workshop does not preclude
submission to or
publication in other venues that are before, concurrent, or after the
workshop. Papers
presented at the workshop will be made available to workshop participants
only.
We invite both short papers and long papers.
Full papers: There is no page limit on long papers. Papers in this category
are expected to
have relatively mature content. Papers that present promising preliminary
and exploratory
work, or recently published work are particularly welcome in this category.
Long papers may
receive longer talk slots at the workshop than short papers, depending on
the number of
accepted submissions.
Short papers: should be at most 2 pages long, plus as many pages as needed
for references.
Papers that present radical, open-ended and forward-looking ideas are
particularly welcome in
this category. Authors submitting papers in this category must prepend the
phrase
"Short Paper:" to the title of the submitted paper.
There is no restriction on paper format other than the page limits stated
above.
A non-exhaustive list of topics for the workshop is:
Side-channel vulnerability detection and elimination
Verification techniques applied to adversarial learning and smart contracts
Software isolation (e.g., SFI, sandboxing)
Compiler/runtime-based hardening and monitoring
Program analysis, binary analysis, and fuzzing
Security enforcement mechanisms
Cryptographic protocol verification
Information flow and access control
Security in web, IoT, and cloud programming languages
Submissions will be made (in PDF format) via the following website:
https://plas25.hotcrp.com.
------------------------------------------------------------------------------------------------------------------------------
Important Dates
------------------------------------------------------------------------------------------------------------------------------
Paper submission (extended deadline): *June 30, 2025 AoE*
Author notification: August 8, 2025
Workshop date: October 13, 2025
------------------------------------------------------------------------------------------------------------------------------
Program Committee
------------------------------------------------------------------------------------------------------------------------------
Amir Ahmadian (KTH, Sweden)
Sebastien Bardin (CEA, France)
Abhishek Bichhawat (IIT Gandhinagar, India) (co-chair)
Ferhat Erata (Yale, USA)
Jana Hofmann (MPI-SP, Germany) (co-chair)
Adrien Koutsos (Inria, France)
McKenna McCall (Carnegie Mellon University, USA)
Toby Murray (University of Melbourne, Australia)
Sabine Oechsner (VU Amsterdam, Netherlands)
------------------------------------------------------------------------------------------------------------------------------
Contact
------------------------------------------------------------------------------------------------------------------------------
For more information, please refer to plas25.github.io or
email us at abhishek.b(a)iitgn.ac.in and jana.hofmann(a)mpi-sp.org
Best Regards,
Jana and Abhishek
22 Jun
22 Jun
5:56 p.m.
New subject: Deadline extended for PLAS @ CCS '25 [4th July 2025]
Dear All,
Apologies for multiple postings.
Please note that the deadline for PLAS 2025 has been extended to 4th of
July, 2025. The deadline is immediately after the CCS notifications so it
might be a good opportunity to receive comments and feedback on ongoing
work.
We look forward to interesting submissions to the workshop.
Best Regards,
Jana and Abhishek
On Fri, Jun 20, 2025 at 11:16 AM Abhishek Bichhawat <abhishek.b(a)iitgn.ac.in>
wrote:
-----------------------------------------------------------------------------------------------------------------------------
Call for papers - Extended deadline
PLAS 2025 <http://plas25.github.io>(co-located with CCS '25)
Taipei, Taiwan
13th October, 2025
------------------------------------------------------------------------------------------------------------------------------
TL;DR: Submission Deadline (extended): July 4, 2025 AoE
------------------------------------------------------------------------------------------------------------------------------
Overview
------------------------------------------------------------------------------------------------------------------------------
The Workshop on Programming Languages and Analysis for Security (PLAS)
explores the use
of programming language and program analysis techniques to improve
software security
across compilers, machine learning models, and smart contracts. It
promotes speculative,
forward-looking ideas and insightful discussions at the intersection of
programming languages and security.
The 20th Workshop on Programming Languages and Analysis for Security
(PLAS 2025) <http://plas25.github.io> will
be held on the 13th of October, 2025, co-located with CCS 2025 in Taipei,
Taiwan.
------------------------------------------------------------------------------------------------------------------------------
Submission Guidelines
------------------------------------------------------------------------------------------------------------------------------
The workshop has no formal published proceedings; hence, we encourage the
submission of
papers that are likely to generate lively discussion as well as papers
covering ongoing and
future work. Presenting a paper at the workshop does not preclude
submission to or
publication in other venues that are before, concurrent, or after the
workshop. Papers
presented at the workshop will be made available to workshop participants
only.
We invite both short papers and long papers.
Full papers: There is no page limit on long papers. Papers in this
category are expected to
have relatively mature content. Papers that present promising preliminary
and exploratory
work, or recently published work are particularly welcome in this
category. Long papers may
receive longer talk slots at the workshop than short papers, depending on
the number of
accepted submissions.
Short papers: should be at most 2 pages long, plus as many pages as needed
for references.
Papers that present radical, open-ended and forward-looking ideas are
particularly welcome in
this category. Authors submitting papers in this category must prepend the
phrase
"Short Paper:" to the title of the submitted paper.
There is no restriction on paper format other than the page limits stated
above.
A non-exhaustive list of topics for the workshop is:
Side-channel vulnerability detection and
elimination
Verification techniques applied to adversarial learning and smart
contracts
Software isolation (e.g., SFI, sandboxing)
Compiler/runtime-based hardening and monitoring
Program analysis, binary analysis, and fuzzing
Security enforcement mechanisms
Cryptographic protocol verification
Information flow and access control
Security in web, IoT, and cloud programming languages
Submissions will be made (in PDF format) via the following website:
https://plas25.hotcrp.com.
------------------------------------------------------------------------------------------------------------------------------
Important Dates
------------------------------------------------------------------------------------------------------------------------------
Paper submission (extended deadline): *July 4, 2025 AoE*
Author notification: August 8, 2025
Workshop date: October 13, 2025
------------------------------------------------------------------------------------------------------------------------------
Program Committee
------------------------------------------------------------------------------------------------------------------------------
Amir Ahmadian (KTH, Sweden)
Sebastien Bardin (CEA, France)
Abhishek Bichhawat (IIT Gandhinagar, India) (co-chair)
Ferhat Erata (Yale, USA)
Jana Hofmann (MPI-SP, Germany) (co-chair)
Adrien Koutsos (Inria, France)
McKenna McCall (Carnegie Mellon University, USA)
Toby Murray (University of Melbourne, Australia)
Sabine Oechsner (VU Amsterdam, Netherlands)
------------------------------------------------------------------------------------------------------------------------------
Contact
------------------------------------------------------------------------------------------------------------------------------
For more information, please refer to plas25.github.io or
email us at abhishek.b(a)iitgn.ac.in and jana.hofmann(a)mpi-sp.org
Best Regards,
Jana and Abhishek
3 Jul
3 Jul
10:33 a.m.
New subject: Final Reminder: Deadline extended for PLAS @ CCS '25 [4th July 2025]
Dear All,
This is a final reminder for submitting to PLAS 2025. The deadline is 4th
of July, 2025 (AoE).
We look forward to your interesting submissions to the workshop.
Best Regards,
Jana and Abhishek
On Fri, Jun 20, 2025 at 11:16 AM Abhishek Bichhawat <abhishek.b(a)iitgn.ac.in>
wrote:
-----------------------------------------------------------------------------------------------------------------------------
Call for papers - Extended deadline
PLAS 2025 <http://plas25.github.io>(co-located with CCS '25)
Taipei, Taiwan
13th October, 2025
------------------------------------------------------------------------------------------------------------------------------
TL;DR: Submission Deadline (extended): July 4, 2025 AoE
------------------------------------------------------------------------------------------------------------------------------
Overview
------------------------------------------------------------------------------------------------------------------------------
The Workshop on Programming Languages and Analysis for Security (PLAS)
explores the use of programming language and program analysis techniques to
improve software security across compilers, machine learning models, and
smart contracts. It promotes speculative, forward-looking ideas and
insightful discussions at the intersection of
programming languages and security.
The 20th Workshop on Programming Languages and Analysis for Security
(PLAS 2025) <http://plas25.github.io> will
be held on the 13th of October, 2025, co-located with CCS 2025 in Taipei,
Taiwan.
------------------------------------------------------------------------------------------------------------------------------
Submission Guidelines
------------------------------------------------------------------------------------------------------------------------------
The workshop has no formal published proceedings; hence, we encourage the
submission of papers that are likely to generate lively discussion as well
as papers covering ongoing and future work. Presenting a paper at the
workshop does not preclude submission to or
publication in other venues that are before, concurrent, or after the
workshop. Papers presented at the workshop will be made available to
workshop participants only.
We invite both short papers and long papers.
Full papers: There is no page limit on long papers. Papers in this
category are expected to
have relatively mature content. Papers that present promising preliminary
and exploratory
work, or recently published work are particularly welcome in this
category. Long papers may
receive longer talk slots at the workshop than short papers, depending on
the number of
accepted submissions.
Short papers: should be at most 2 pages long, plus as many pages as needed
for references.
Papers that present radical, open-ended and forward-looking ideas are
particularly welcome in this category. Authors submitting papers in this
category must prepend the phrase
"Short Paper:" to the title of the submitted paper.
There is no restriction on paper format other than the page limits stated
above.
A non-exhaustive list of topics for the workshop is:
Side-channel vulnerability detection and
elimination
Verification techniques applied to adversarial learning and smart
contracts
Software isolation (e.g., SFI, sandboxing)
Compiler/runtime-based hardening and monitoring
Program analysis, binary analysis, and fuzzing
Security enforcement mechanisms
Cryptographic protocol verification
Information flow and access control
Security in web, IoT, and cloud programming languages
Submissions will be made (in PDF format) via the following website:
https://plas25.hotcrp.com.
------------------------------------------------------------------------------------------------------------------------------
Important Dates
------------------------------------------------------------------------------------------------------------------------------
Paper submission (extended deadline): *July 4, 2025 AoE*
Author notification: August 8, 2025
Workshop date: October 13, 2025
------------------------------------------------------------------------------------------------------------------------------
Program Committee
------------------------------------------------------------------------------------------------------------------------------
Amir Ahmadian (KTH, Sweden)
Sebastien Bardin (CEA, France)
Abhishek Bichhawat (IIT Gandhinagar, India) (co-chair)
Ferhat Erata (Yale, USA)
Jana Hofmann (MPI-SP, Germany) (co-chair)
Adrien Koutsos (Inria, France)
McKenna McCall (Carnegie Mellon University, USA)
Toby Murray (University of Melbourne, Australia)
Sabine Oechsner (VU Amsterdam, Netherlands)
------------------------------------------------------------------------------------------------------------------------------
Contact
------------------------------------------------------------------------------------------------------------------------------
For more information, please refer to plas25.github.io or
email us at abhishek.b(a)iitgn.ac.in and jana.hofmann(a)mpi-sp.org
Best Regards,
Jana and Abhishek
56
days inactive
104
days old
4 comments
1 participants
participants (1)
-
Abhishek Bichhawat