skip to main content


Title: Formalizing Algorithmic Bounds in the Query Model in EasyCrypt
Award ID(s):
2040249
NSF-PAR ID:
10410401
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
Leibniz international proceedings in informatics
Volume:
237
ISSN:
1868-8969
Page Range / eLocation ID:
30:1--30:21
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found