[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--------------------------------------------------------------------------
PLAS 2021 Call for Participation
16th Workshop on Programming Languages and Analysis for Security (PLAS 2021)
https://urldefense.com/v3/__https://plas21.software.imdea.org__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdCH_EGCQ$
Virtual Event
December 7, 2021
--------------------------------------------------------------------------
PLAS 2021 will be held online on December 7. Participation will be free without
any preregistration.
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 the future research at the intersection of programming languages
and security.
The program of PLAS 2021 will include the following talks:
(Invited Talk) Deian Stefan - Look Ma no Hands, or How to Make Software
Sandboxing Practical
Xaver Fabian, Koby Wu Chan, Marco Patrignani - Short paper: Formal verification
of Spectres combination
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia - Short Paper: Noninterference
For Session-Typed Processes
Aslan Askarov - Short paper: are fine-grained and coarse-grained dynamic
information flow control always equally expressive?
McKenna McCall, Abhishek Bichhawat, Limin Jia - Short Paper: Compositional
Information Flow Monitoring for Reactive Programs
Priyanka Mondal, Maximilian Algehed, Owen Arden - Applying consensus and
replication securely with FLAQR
Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix - Short paper: A
Datalog-based security monitoring language
Please find more information at
https://urldefense.com/v3/__https://plas21.software.imdea.org__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdCH_EGCQ$
.
The links for attending the workshop:
ZOOM:
https://urldefense.com/v3/__https://psu.zoom.us/j/92497369062?pwd=M2FKSlBTOEY2Rnc4ajFOdndNZ21sUT09__;!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBdL_Hc70w$
Slack:
https://urldefense.com/v3/__https://join.slack.com/t/plas2021/shared_invite/zt-zrd5b5tf-NqoK*t6vf*sGWQVBiX4Siw__;fn4!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBfSW57-Wg$
<https://urldefense.com/v3/__https://nam10.safelinks.protection.outlook.com/?url=https*3A*2F*2Fjoin.slack.com*2Ft*2Fplas2021*2Fshared_invite*2Fzt-zrd5b5tf-NqoK*t6vf*sGWQVBiX4Siw&data=04*7C01*7CL-SIISZHANG*40LISTS.PSU.EDU*7C29827319f9b3423ac84a08d9b87d46d3*7C7cf48d453ddb4389a9c1c115526eb52e*7C0*7C0*7C637743670460574845*7CUnknown*7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0*3D*7C3000&sdata=JMI9pvRfUFWdkIZH*2BNdhnDYgm4vHcoG5*2FZtDEQ48SRA*3D&reserved=0__;JSUlJSUlJX5-JSUlJSUlJSUlJSUlJSUl!!IBzWLUs!DK8DxvATiCrRjxULjlERrojG7_XqR7FG-BPuceL6YKPYBvOmlJjb3pj79cLBzoJhn3zjXBfXA5J7wg$
>
--------------------------------------------------------------------------
