EasyChair Smart SlideUser guide
Author: Dominique Devriese

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

Pi_RA: a Pi-Calculus for Verifying Protocols That Use Remote Attestation

Pi_RA: a Pi-Calculus for Verifying Protocols That Use Remote Attestation

Emiel Lanckriet, Matteo Busi and Dominique Devriese

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

Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory

Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory

Andreas Nuyts and Dominique Devriese

Internalizing Presheaf Semantics: Charting the Design Space

Internalizing Presheaf Semantics: Charting the Design Space

Andreas Nuyts and Dominique Devriese

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair