Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.

Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu

Browse the full ITP paper archive.