EasyChair Smart Slide
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt
Formalizing Algorithmic Bounds in the Query Model in EasyCrypt