Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sun 23 Aug 2020 08:30 - 09:00 at Erlang - Session 1 Chair(s): Viktória Fördős

In the era of the Internet there is a continuous demand for distributed systems which should serve thousands of requests on a daily basis. But with this growing demand companies have to face a growing number of cyber threats as well which can not only harm their customers in the form of data theft or data loss but their own reputation as well. In order to improve the security of the systems, there are several standards (CERT, OWASP’s Application Security Verification Standard) and static analyser tools (CodeChecker, SpotBugs, SonarQube, Fortify) to achieve this goal. Unfortunately, these tools only cover popular programming languages like C++, Java, Python or TypeScript. In this paper, we present a prototype for supporting secure coding with RefactorErl which helps identifying vulnerabilities like OS injection, cryptography or atom exhaustion related attacks in Erlang systems.

Sun 23 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

erlang-2020-papers
07:50 - 09:30: Erlang 2020 - Session 1 at Erlang
Chair(s): Viktória FördősCisco Systems
erlang-2020-papers07:50 - 08:00
Day opening
Annette BieniusaTechnische Universität Kaiserslautern, Viktória FördősCisco Systems
erlang-2020-papers08:00 - 08:30
Short-paper
Boldizsár PoórEötvös Loránd University, Melinda TothEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd., István BozóEötvös Loránd University
DOI
erlang-2020-papers08:30 - 09:00
Talk
Brigitta BaranyaiELTE Eötvös Loránd University, István BozóEötvös Loránd University, Melinda TothEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.
erlang-2020-papers09:00 - 09:30
Full-paper
Peter ZellerTU Kaiserslautern, Annette BieniusaTechnische Universität Kaiserslautern, Carla FerreiraUniversidade Nova Lisboa
DOI