EasyChair Smart SlideDocs/Log in
Author: Lars Birkedal

This page shows all presentations of this author published in EasyChair Smart Slide.

Proving Full-System Security Properties Under Multiple Attacker Models on Capability Machines

Proving Full-System Security Properties Under Multiple Attacker Models on Capability Machines

Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal and Dominique Devriese

Dependent Right Adjoint Types

Dependent Right Adjoint Types

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew Pitts and Bas Spitters

ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency

ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency

Daniil Frumin, Robbert Krebbers and Lars Birkedal

Presentations in this collection: 3
Copyright © 2002 – 2025 EasyChair