Concurrency Abstractions for Application Security

Updated on June 7, 2023
GOTO Aarhus 2023
Bram Verburg
Bram Verburg

Head of Software Security at Bluecode

This video is currently available only for GOTO Aarhus 2023 attendees.
Click to enter password.

Automatic memory management all but eliminated entire classes of security vulnerabilities through high-level abstractions for application developers. Statically typed languages aim to reduce exploitable bugs even further. Can additional abstractions around concurrency, isolation and fault-tolerance provide similar benefits?

In this talk we explore ideas from the Erlang virtual machine and how they compare to other languages and runtimes in meeting the security requirements of modern networked applications. Do the benefits outweigh the lack of statical type checking? And what challenges remain?