Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.

Alessandro Armando, Luca Compagna

Browse the full FORTE paper archive.