ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Sun 12 Oct 2025 16:53 - 17:08 at Seminar Room 7 - Distributed Behaviour Chair(s): Adriana Laura Voinea

Security has become increasingly important in the BEAM community, leading to numerous initiatives that support secure software development. Among these, the guidelines/recommendations created by EEF are widely accepted and demonstrate secure coding principles for developers. Our goal is to support programmers with tools that help them verify whether the software they develop or use meets the established security standards. We have defined static source code analysis methods capable of detecting vulnerabilities in both Erlang and Elixir software. We built our analyses on top of the RefactorErl static analysis framework and made them readily accessible through the SAFE toolchain.

Sun 12 Oct

Displayed time zone: Perth change

16:00 - 17:30
Distributed BehaviourErlang at Seminar Room 7
Chair(s): Adriana Laura Voinea University of Glasgow, UK
16:00
38m
Talk
Moving Objects and Behavior Safely in Ad hoc Networks
Erlang
Juan Camilo Bonet Universidad de los Andes, Mateo Sanabria Universidad de los Andes, Nicolás Cardozo Universidad de los Andes
Link to publication File Attached
16:38
15m
Talk
DDMon: a Monitoring Tool for Distributed Deadlock DetectionLightning Talk
Erlang
Radosław Jan Rowicki Technical University of Denmark
16:53
15m
Talk
Securing Erlang and Elixir applicationsLightning TalkRemote
Erlang
Melinda Tóth Eötvös Loránd University
17:08
22m
Day closing
Closing Remarks
Erlang
Ákos Hajdu Meta, Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK