alleystoughton / algorithmicbounds Goto Github PK
View Code? Open in Web Editor NEWThis repository contains a general EasyCrypt framework for expressing computational problems in the query model, and for proving worst case lower bounds for computational problems using the adversarial method (adversary arguments), and proving worst case upper bounds for algorithms solving the computational problems.