How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.
David BernhardOlivier PereiraBogdan WarinschiPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- asymptotic optimality
- dynamic programming
- search strategies
- worst case analysis
- constraint satisfaction
- optimal solution
- asymptotically optimal
- functional properties
- simulated annealing
- tabu search
- real time
- secret sharing scheme
- bin packing
- search algorithm
- combinatorial optimization
- packing problem
- beam search
- heuristic function
- information systems
- search engine