Concurrency Abstractions for Application Security

Explore concurrency abstractions for application security in this conference talk from GOTO Aarhus 2023. Delve into how ideas from the Erlang virtual machine compare to other languages and runtimes in meeting security requirements of modern networked applications. Learn about automatic memory management's role in eliminating security vulnerabilities, and examine the potential benefits of concurrency, isolation, and fault-tolerance abstractions. Investigate the trade-offs between these benefits and the lack of static type checking, and discuss remaining challenges in the field. Gain insights into Erlang, Elixir, and related technologies for building secure, scalable systems.

Intro
Agenda
Flashback: Memory management
Concurrency
Concurrency abstractions
Security potential
Implementations
Challenges & future work
Outro