ICFP/SPLASH 2025 (series) / Erlang 2025 (series) / Erlang 2025 / Securing Erlang and Elixir applications
Securing Erlang and Elixir applicationsLightning TalkRemote
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 OctDisplayed time zone: Perth change
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 38mTalk | 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 15mTalk | DDMon: a Monitoring Tool for Distributed Deadlock DetectionLightning Talk Erlang Radosław Jan Rowicki Technical University of Denmark | ||
16:53 15mTalk | Securing Erlang and Elixir applicationsLightning TalkRemote Erlang Melinda Tóth Eötvös Loránd University | ||
17:08 22mDay closing | Closing Remarks Erlang Ákos Hajdu Meta, Kiko Fernandez-Reyes Ericsson, Sweden, Adriana Laura Voinea University of Glasgow, UK | ||
