Formalizing Algorithmic Bounds in the Query Model in EasyCrypt.

Alley Stoughton Carol Chen Marco Gaboardi Weihao Qu

Published in: ITP (2022)

Keyphrases

lower bound
theoretical analysis
theoretical framework
upper bound
computational model
statistical model
experimental data
database
data sets
information retrieval
probabilistic model
parameter estimation
mathematical model
language model
conceptual model