Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sun 23 Aug 2020 11:00 - 11:30 at Erlang - Session 2 Chair(s): Annette Bieniusa

Security is a critical part of software development, companies have the utmost responsibility to protect their customers data against any threat. Secure design is a key enabler, since it cultivates security awareness in software projects from day zero. In this paper it is shown how to apply the principles of secure design to Erlang software projects. An Erlang specific method to identify trust zones is presented. The high risk vulnerabilities of the Erlang ecosystem are reviewed and grouped together using the CIA triad model. A dataflow based static analysis together with a prototype to verify security posture of a trust zone are introduced and evaluated using Riak Core as a case study.

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

10:30 - 12:00: Session 2Erlang at Erlang
Chair(s): Annette BieniusaTechnische Universität Kaiserslautern
10:30 - 11:00
Full-paper
Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects
Erlang
Simon ThompsonUniversity of Kent, Dániel HorpácsiEötvös Loránd University, Péter BereczkyEötvös Loránd University
DOI
11:00 - 11:30
Full-paper
Secure Design and Verification of Erlang Systems
Erlang
Viktória FördősCisco Systems
DOI
11:30 - 12:00
Full-paper
Clojerl: The Expressive Power of Clojure on the BEAM
Erlang
Juan Facorro, Natalia ChechinaBournemouth University
DOI