Underapproximation for Model-Checking Based on Random Cryptographic Constructions.

Arie Matsliah, Ofer Strichman

Browse the full CAV paper archive.