EasyChair Smart SlideDocs/Log in
Author: Gilles Barthe

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

Quantum Weakest Preconditions for Reasoning About Expected Runtimes of Quantum Programs

Quantum Weakest Preconditions for Reasoning About Expected Runtimes of Quantum Programs

Junyi Liu, Li Zhou, Gilles Barthe and Mingsheng Ying

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks

Enforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira and Bernardo Portela

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