EasyChair Smart SlideDocs/Log in
Author: David Basin

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

N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures

N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures

Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig and David Basin

IFCIL: an Information Flow Configuration Language for SELinux

IFCIL: an Information Flow Configuration Language for SELinux

Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano and David Basin

Alethea: A Provably Secure Random Sample Voting Protocol

Alethea: A Provably Secure Random Sample Voting Protocol

David Basin, Sasa Radomirovic and Lara Schmid

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