EasyChair Smart SlideDocs/Log in
Author: Alley Stoughton

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

Formalizing Algorithmic Bounds in the Query Model in EasyCrypt

Formalizing Algorithmic Bounds in the Query Model in EasyCrypt

Alley Stoughton, Carol Chen, Marco Gaboardi and Weihao Qu

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