A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds.

Maciej Skórski

Published in: TAMC (2017)

Keyphrases

theorem prover
theorem proving
upper bound
lower bound
smart card
proof search
equational theories
data sets
genetic algorithm
viewpoint
upper and lower bounds
search engine
d objects
cryptographic protocols
tight bounds
formal proof